Mathematische Logik für Anfänger - Varga, Tamas (Mathematische Logik für Anfänger, 1964)