Gödel's Proof
Ernest Nagel
Gödel's Proof - A book resource
This link may earn us a small commission at no extra cost to you. Affiliate disclosure
More resources on Mathematical Logic
Open Logic Project
Free open textbooks on logic topics
Ancient Greek Philosophy and Mathematics
Explore mathematical logic through the lens of Ancient Greek philosophy with Dr. Lee Perlman. Discover key concepts & historical context.
Logic II
Explore advanced mathematical logic with Prof. McGee's Logic II course. Delve into incompleteness, model theory, and set theory.
Paradox and Infinity
Explore mathematical logic's fascinating side: paradoxes and infinity! Learn key concepts with Prof. AgustĂn Rayo's course.
Category Theory for Scientists
Explore mathematical logic with Dr. Spivak's "Category Theory for Scientists" course. Learn category theory and its applications in science.
Simplicity Theory
Explore mathematical logic with Dr. Ben-Yaacov's Simplicity Theory course. Learn advanced model theory and its applications.