Title: Mathematische Logik mit Informatik-Anwendungen
Subjects: Mathematische Logik, Elektronische Datenverarbeitung, Informatik, Prädikatenlogik