DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Gerhard Gentzen
Gerhard Gentzen
Gödel on Finitism, Constructivity and Hilbert's Program
Lorenzen's Proof of Consistency for Elementary Number Theory [With An
Common Sense for Concurrency and Strong Paraconsistency Using Unstratified Inference and Reflection
On Proofs of the Consistency of Arithmetic
Biographies.Pdf
Gerhard Gentzen
Hilbert's Program Then And
Hilbert's Program Then And
Propositional Logic 3
Gentzen's Original Consistency Proof and the Bar Theorem
Propositional Logic Basics
Cut As Consequence
A History of Natural Deduction and Elementary Logic Textbooks
Eckart Menzler-Trott's Logic's Lost Genius: the Life of Gerhard
On the Intuitionistic Background of Gentzen's 1935 and 1936
A Contribution to the Formalization of Meta-Programming∗
Common Sense for Concurrency and Inconsistency Tolerance Using Direct Logictm
From the Outside Looking In: Can Mathematical Certainty Be Secured Without Being Mathematically Certain That It Has Been?
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
A Forgotten Theory of Proofs ?
The Development of Programs for the Foundations of Mathematics in the first Third of the 20Th Century
Foundations of Mathematics
A Forgotten Theory of Proofs?
Hilbert's Twenty-Fourth Problem