Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Information/Inhalt

Aus Wikiversity
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.