Jan von Plato - Böcker

Structural Proof Theory

Creating Modern Probability

Its Mathematics, Physics and Philosophy in Historical Perspective

Creating Modern Probability

Its Mathematics, Physics and Philosophy in Historical Perspective

Structural Proof Theory

Great Formal Machinery Works

Theories of Deduction and Computation at the Origins of the Digital Age

Proof Analysis

A Contribution to Hilbert's Last Problem

Elements of Logical Reasoning

Proof Analysis

A Contribution to Hilbert's Last Problem

Elements of Logical Reasoning

Investigations into the Predicate Calculus

Can Mathematics Be Proved Consistent?

Gödel's Shorthand Notes & Lectures on Incompleteness

Can Mathematics Be Proved Consistent?

Gödel's Shorthand Notes & Lectures on Incompleteness

Kurt Gödel

The Princeton Lectures on Intuitionism

Kurt Gödel

The Princeton Lectures on Intuitionism

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Kurt Gödel: Results on Foundations

Kurt Gödel: Results on Foundations

Portrait of Young Gödel

Education, First Steps in Logic, the Problem of Completeness

Portrait of Young Gödel

Education, First Steps in Logic, the Problem of Completeness

Mathematical Logic in Vienna

Mathematical Logic in Vienna

Saved from the Cellar

Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics