Jan Von Plato

Can Mathematics Be Proved Consistent?

Can Mathematics Be Proved Consistent?

Saved From The Cellar

Saved From The Cellar

Proof Analysis

Chapters From Gödel's Unfinished Book On Foundational Research In Mathematics

Chapters From Gödel's Unfinished Book On Foundational Research In Mathematics

Elements Of Logical Reasoning

Elements Of Logical Reasoning

The Great Formal Machinery Works

Portrait Of Young Gödel

Creating Modern Probability