Dr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultät für Mathematik der Universität Konstanz, 7750 Konstanz.

• §1 Mengen, Relationen und Funktionen.- §2 Aussagenlogik.- §3 Modale Aussagenlogik.- §4 Varianten der modalen Aussagenlogik.- §5 Grundbegriffe der Prädikatenlogik.- §6 Normalformen und der Satz von Herbrand.- §7 Der Gödelsche Vollständigkeitssatz.- §8 Modallogische Aspekte der Gödelschen Unvollständigkeitssätze.- §9 Einige modelltheoretische Begriffe und Sätze.- §10 Modale Prädikatenlogik.- §11 Dynamische Prädikatenlogik.- §12 Höherstufige Prädikatenlogik.- §13 Typentheorie.- Mengentheoretischer Anhang.- Literatur.- Symbole und Notationen.- Register.