Mathematische Logik für Anfänger - Varga, Tamás 1960- (Deutsch, 1970)