Deduktionssysteme Automatisierung d. log. Denkens - Bläsius, Karl Hans; Bürckert, Hans-Jürgen (Oldenbourg, 1987)