Jan Von Plato

Can Mathematics Be Proved Consistent?

Can Mathematics Be Proved Consistent?

Saved From The Cellar

Saved From The Cellar

Structural Proof Theory

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

Creating Modern Probability

Elements Of Logical Reasoning

Structural Proof Theory

The Great Formal Machinery Works

Portrait Of Young Gödel

Proof Analysis

Proof Analysis

Elements Of Logical Reasoning