Home
Contact
Privacy
Gentzen
Sorry, we're still building and haven't quite gotten to this subject yet.
Terms related to
gentzen
:
Related Subjects
Gentzen's Consistency Proof
Gerhard Gentzen
Related Phrases
Cut-Elimination Theorem
Cut Elimination Theorem
Cut Rule
Gödel's Incompleteness Theorems
History of Logic
Incompleteness Theorem
Natural Deduction
Natural Numbers
Order Arithmetic
Peano Arithmetic
Related Words
Axioms
Church
Consistency
Elimination
Free
Gdzppn
Mathematische
Number
Proof
Resolveppn