Logik und Grundlagen der Mathematik - Rödding, Dieter (Vieweg, 1972)