Libri di mathematische logik

A guide to classical and modern model theory

Programs, proofs, processes

Die Logik der Unbestimmtheiten und Paradoxien

Grundbegriffe der Mengenlehre und Logik

Logische Grundlagen der Mathematik

Symbolic logic

Logics for artificial intelligence

Abhandlung über die Prinzipien der Logik

Logic

Logic Colloquium

Mathematical logic