Logik für Informatiker - Dassow, Jürgen 1947- (Teubner, 2005)
Keywords: Logische Programmierung; Mathematische Logik; Lehrbuch