Mathematik: LogikSpektrum Akademischer Verlag × Die Gödel'schen UnvollständigkeitssätzeEine geführte Reise durch Kurt Gödels historischen BeweisDirk W. HoffmannSpektrum Akademischer VerlagSoftcover2012