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