back to brucewatkins.org home page

Logic / Gödel's Theorem

• Theory of Formal Systems --R M Smullyan [at archive.org]
• Godel's Incompleteness Theorems --R M Smullyan
• Recursion Theory for Metamathematics --R M Smullyan
• Formal Languages and Logics: 111 pages of lecture notes
• Math Assn of America: Intro to Symbolic Logic
• Rice Univ Lectures: Logic (Propositional, etc.)
• Nagel and Newman Book
• Complete Proofs of Godel’s Incompleteness Theorems --B Kim
• An Intuitively Complete Analysis of Godel’s Incompleteness --J W Steinmetz
• Summer of Godel Blog
• Princeton Course Slide Show
• RationalWiki
• Wikipedia
• Stanford Encyclopedia of Philosophy
• Encyclopedia Britannica