The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

by J Von Plato · 2 reviews · 2018–2019

Metaphysics & Logic History of Philosophy

Also by Von Plato

• Creating Modern Probability (2 reviews)
• Can Mathematics be Proved Consistent? (1 review)
• Elements of Logical Reasoning (1 review)
• Saved from the Cellar. Gerhard Gentzen's Shorthand Notes on Logic and the Foundations of Mathematics (1 review)
• Structural Proof Theory (1 review)

Search PhilReviews for this title