Mathematische Logik für Anfänger - Varga, Tamas (Verlag Volk und Wissen, 1966)