Logik für Informatiker - Schöning, Uwe 1955- (Spektrum, Akad. Verl., 2005)
Keywords: Logische Programmierung; Mathematische Logik; Informatik; Logik; Datenverarbeitung