Dieser Kurs ist eine kurze Einführung in die mathematische Logik mit der Zielsetzung, die Gödelschen Unvollständigkeitssätze zu beweisen.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.