Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Information/Inhalt
Dieser Kurs ist eine kurze Einführung in die mathematische Logik mit der Zielsetzung, die Gödelschen Unvollständigkeitssätze zu beweisen.
Dieser Kurs ist eine kurze Einführung in die mathematische Logik mit der Zielsetzung, die Gödelschen Unvollständigkeitssätze zu beweisen.