Gerhard Gentzen
Top View
- Logic's Lost Genius
- A Forgotten Theory of Proofs?
- Mathematical Incompleteness Results in First-Order Peano Arithmetic: A
- Jan Von Plato Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics
- Mathematica Bohemica
- The Collected Papers of Gerhard Gentzen
- G\" Odel on Deduction
- David Hilbert's Lectures of Arithmetic and Logic on the Foundations 19 71
- Logic's Lost Genius and Gentzen's Centenary
- Intuitionistic Logic Considered As an Extension of Classical Logic: Some Critical Remarks∗
- Did Gentzen Prove the Consistency of Arithmetic?
- A Remark on Gentzen's Notes
- Paul Bernays
- Topics in Logic Proof Theory
- Formalizing Common Sense Reasoning for Scalable Inconsistency-Robust Information Coordination Using Direct Logic™ Reasoning and the Actor Model Carl Hewitt
- Notices of the American Mathematical Society ISSN 0002-9920
- Moral Integrity During a Difficult Period: Beth and Scholz 157 Foundational Problems Connected to the Notion of Évidence Were Simply Ignored
- Proof-Theoretic Semantics to Provide a Nominalist Analysis for a Variety of Essentialist Vocabular- Ies