The Great Formal Machinery Works : Theories of Deduction and Computation at the Origins of the Digital Age
Jan von Plato
Download Now
Format: eBook (PDF)
Proof Analysis : A Contribution to Hilbert's Last Problem
Sara Negri
Download Now
Format: eBook (PDF)
Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics
Jan von Plato
Download Now
Format: eBook (EPUB)
Can Mathematics Be Proved Consistent? : Godel's Shorthand Notes & Lectures on Incompleteness
Jan von Plato
Download Now
Format: eBook (PDF)
Chapters from Godel's Unfinished Book on Foundational Research in Mathematics
Jan von Plato
Download Now
Format: eBook (PDF)