Title: Logische Grundlagen der Künstlichen Intelligenz
Subjects: Mathematische Logik, Künstliche Intelligenz