Einführung in die mathematische Logik ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
Design of Digital Computers An Introduction
Unvollstñdigkeit und Unentscheidbarkeit Die metamathematischen Resultate von Gd̲el, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Mathematische Gesetze der Logik I: Vorlesungen über Aussagenlogik (Grundlehren der mathematischen Wissenschaften) (German Edition)
Betrachtungen zur Energiewirtschaft Österreichs
Hydraulik Ihre Grundlagen und praktische Anwendung
Topics in Artificial Intelligence
Juristische Logik (German Edition)
Graphen—Algorithmen—Programme
Spezielle Mineralogie auf geochemischer Grundlage