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