Die Gödel'schen Unvollständigkeitssätze eine geführte Reise durch Kurt Gödels historischen Beweis - Hoffmann, Dirk W. 1972- (Spektrum Akademischer Verlag, 2013)