Grundlagen der Programmiersprachen /
Programmiersprachen : 4. Fachtagung der GI, Erlagen, 8.-10. März 1976 /
Formale Logik /
Programmiersprachen und Programmentwicklung : 7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9.-10. März 1982 /
Beschreibung Afrikas /
Ancient formal logic.
Discovering formal logic. /
The formal basis of relevance judgments.
Formal description of programming concepts. /
Formale Logik : logische Systeme Einführung in die Metalogik /
Formalization of Natural Languages. (Formalizácia prirodzených ...
Beschreibung eines Dorfes /
Beschreibung der Austenitisierungs vorgang
Einführung in die Formale Logik /
Teorija formal´nych jazykov : vvodnyj kurs /
Introduction to formal language theory /
Teorija formal´nych grammatik /
Formal foundations of correct programming. /
Formal development of programs and proofs. /
Beschreibung der pergamenischen Bildwerke /
Formale Beschreibung von Programmiersprachen.