Title: Logik für Informatiker (Sav Informatik) (German Edition)
Subjects: Logic programming, 0 Gesamtdarstellung, Mathematische Logik, Logische Programmierung, Logic, symbolic and mathematical