Mathematische Gesetze der Logik I: Vorlesungen über Aussagenlogik (Grundlehren der mathematischen Wissenschaften) (German Edition)
Grundzüge der Theoretischen Logik (Grundlehren der mathematischen Wissenschaften) (German Edition)
Einführung in die mathematische Logik ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
Berechenbarkeit, Komplexitat, Logik: Eine Einfuhrung in Algorithment, Sprachen und Kalkule unter besonderer Berucksichtigung ihrer Komplexitat
Juristische Logik (German Edition)
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.: Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher, Band 87) (German Edition)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen
Dependencies in Relational Databases (Teubner-Texte zur Mathematik) (German Edition)
The Foundations of Program Verification (Series in Computer Science) (German Edition)
