Formale Logik : logische Systeme Einführung in die Metalogik /
Einführung in die Formale Logik /
Ancient formal logic.
Problema istiny v dialektičeskoj i formal´noj logike /
Logik /
Logik.
Juristische Logik /
Discovering formal logic. /
Nichtklassische Logik : eine Einführung /
Formale Beschreibung von Programmiersprachen.
Introduction to formal language theory /
Wörterbuch der Logik /
The formal basis of relevance judgments.
Teorija formal´nych grammatik /
Formal foundations of correct programming. /
Formal development of programs and proofs. /
Formal description of programming concepts. /
Logik und Philosophie /
Formale Logik /