UniLog 5 Summer School
Slides for the second tutorial on Gödel's incompleteness theorems, held at UniLog 5 Summer School, Istanbul, June 24, 2015
Gödel's incompleteness theorems
Logic and Foundations | Logic and Foundations of Mathematics | Philosophy
Bernd Buldt (2015).
Gödel’s First Incompleteness Theorem. Presented at UniLog 5 Summer School, Istanbul.