Mathematical logic - Ebbinghaus, Heinz-Dieter, 1939- (Springer-Verlag, 1994)
Τίτλος πρωτοτύπου : Einführung in die mathematisch Logik.