Paul Lorenzen
article-link
What links here
Gerhard Gentzen
List of University of Göttingen people
article-link
Logical harmony
article-link
Universal instantiation
article-link
Proof calculus
article-link
Disjunction and existence properties
article-link
Analytic proof
article-link
Structural proof theory
article-link
Proof-theoretic semantics
article-link
Cut-elimination theorem
article-link
Semantics (logic)
article-link
Begriffsschrift
article-link
Material conditional
article-link
Hilbert's program
article-link
1945 in science
article-link
Metalogic
article-link
List of logicians
article-link
1909 in science
article-link
List of mathematical logic topics
article-link
Sequent calculus
article-link
Sequent
article-link
Proof theory
article-link
Intuitionistic logic
article-link
Hilbert's problems
article-link
Hilbert's second problem
article-link
Goodstein's theorem
article-link
Greifswald
article-link
Universal quantification
article-link
Deductive reasoning
article-link
History of logic
article-link
Gödel's incompleteness theorems
article-link
Natural deduction
article-link
Charles University
article-link
1945
article-link
Peano axioms
article-link
Mathematical logic
article-link
Logical connective
article-link
Propositional logic
article-link
Gentzen
redirect
Gerhard Karl Erich Gentzen
redirect