Title: Mathematische Logik mik Informatik-Anwendungen
Subjects: Electronic data processing, Symbolic and mathematical Logic