Dirk W. Hoffmann - Böcker

Grundlagen der Technischen Informatik

Software-Qualität

Die Gödel'schen Unvollständigkeitssätze

Eine geführte Reise durch Kurt Gödels historischen Beweis

Grenzen der Mathematik

Eine Reise durch die Kerngebiete der mathematischen Logik

Einführung in die Informations- und Codierungstheorie

Gödel's Incompleteness Theorems

A Guided Tour Through Kurt Gödel’s Historic Proof

Limits of Mathematics

A Journey Through the Key Areas of Mathematical Logic