Einführung in die mathematische Logik ein Lehrbuch mit Berücksichtigung der Logikprogrammierung - Rautenberg, Wolfgang (Vieweg, 1996)