Pages that link to "Gerhard Gentzen"
The following pages link to Gerhard Gentzen:
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Logical connective (← links)
- Propositional calculus (← links)
- Mathematical logic (← links)
- Peano axioms (← links)
- Charles University in Prague (← links)
- Gerhard Gentzen (transclusion) (← links)
- Natural deduction (← links)
- Gödel's incompleteness theorems (← links)
- History of logic (← links)
- Goodstein's theorem (← links)
- Hilbert's second problem (← links)
- Hilbert's problems (← links)
- Intuitionistic logic (← links)
- Foundations of mathematics (← links)
- Proof theory (← links)
- Sequent calculus (← links)
- Sequent (← links)
- Gerhard gentzen (redirect page) (← links)
- List of mathematical logic topics (← links)
- 1909 in science (← links)
- List of logicians (← links)
- Paul Bernays (← links)
- 1945 in science (← links)
- Hilbert's program (← links)
- Gentzen (redirect page) (← links)
- Quantum information (← links)
- Relevance logic (← links)
- LJ (← links)
- Curry–Howard correspondence (← links)
- Herbrand's theorem (← links)
- Logical quality (← links)
- Ordinal analysis (← links)
- Ludics (← links)
- Epsilon numbers (mathematics) (← links)
- Proof procedure (← links)
- Ordinal analysis (← links)
- Formal semantics (logic) (← links)
- Cut-elimination theorem (← links)
- Proof-theoretic semantics (← links)
- Structural proof theory (← links)
- Analytic proof (← links)
- Disjunction and existence properties (← links)
- Infogalactic:WikiProject Philosophy/Logic/Popular pages (← links)
- Proof calculus (← links)
- Gentzen's consistency proof (← links)
- Universal instantiation (← links)
- Table of mathematical symbols by introduction date (← links)
- Logical harmony (← links)
- Portal:Philosophy/Selected article/2006-15 (← links)
- List of philosophers born in the 20th century (← links)
- Stanisław Jaśkowski (← links)
- Large countable ordinal (← links)
- Bergen auf Rügen (← links)
- Deaths of philosophers (← links)
- System L (← links)
- List of multiple discoveries (← links)
- Gerhard (← links)
- 1909 (← links)
- Logic (← links)