Jan von Plato

• Can Mathematics Be Proved Consistent?
• Saved from the Cellar
• The Great Formal Machinery Works
• Chapters from Gödel's Unfinished Book on Foundational Research in Mathematics
• Creating Modern Probability
• Elements of Logical Reasoning
• Kurt Gödel
• Mathematical Logic in Vienna
• Portrait of Young Gödel
• Proof Analysis
• Saved from the Cellar