Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen
Einführung in die mathematische Logik
Einführung in die Logik
Theorie der logischen Programmierung Eine elementare Einführung
Einführung in die klassische und intensionale Logik
Berechenbarkeit, Komplexitat, Logik: Eine Einfuhrung in Algorithment, Sprachen und Kalkule unter besonderer Berucksichtigung ihrer Komplexitat
Kurs in Logischer Programmierung
Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker
Mathematische Gesetze der Logik I: Vorlesungen über Aussagenlogik (Grundlehren der mathematischen Wissenschaften) (German Edition)
