Logic for computer scientists - Schöning, Uwe 1955- (Birkhäuser, 2008)
Literaturverz. S. 155 - 159
Keywords: Mathematische Logik; Logische Programmierung; Informatik; Datenverarbeitung; Logik