Discovering formal logic. /

Formale Logik /

Proof and disproof in formal logic : an introduction for programmers /

Formal systems and recursive functions. Proceedings of the eighth logic colloquium Oxford, July 1963.

Ancient Egyptians /

Ancient shores /

Ancient lamps /

Ancient coins Part 1. Coins of the Roman republic Part 2. Coins of the Roman empire. Augustus-Domitianus

Formale Logik : logische Systeme Einführung in die Metalogik /

Informal logic. /

Ancient Slovakia. : Archeology and history. /

The formal basis of relevance judgments.

Formale Beschreibung von Programmiersprachen.

Introduction to formal language theory /

Teorija formal´nych grammatik /

Formal foundations of correct programming. /

Formal development of programs and proofs. /

Formal description of programming concepts. /

Einführung in die Formale Logik /

Analysis of Ancient Matals.

Ancient formal logic.

Europäische Philosophie der Gegenwart /