The following pages link to Proof theory:
Displayed 50 items.
- Naive set theory (← links | edit)
- Logical disjunction (← links | edit)
- David Hilbert (← links | edit)
- Discrete mathematics (← links | edit)
- Formal language (← links | edit)
- First-order logic (← links | edit)
- Gödel's completeness theorem (← links | edit)
- If and only if (← links | edit)
- John von Neumann (← links | edit)
- Kurt Gödel (← links | edit)
- Propositional calculus (← links | edit)
- Lambda calculus (← links | edit)
- Mathematics (← links | edit)
- Metaethics (← links | edit)
- Mathematical logic (← links | edit)
- Model theory (← links | edit)
- Primitive recursive function (← links | edit)
- Truth (← links | edit)
- Theory (← links | edit)
- Theorem (← links | edit)
- Actual infinity (← links | edit)
- Gerhard Gentzen (← links | edit)
- Philosophy of mathematics (← links | edit)
- Natural deduction (← links | edit)
- Gödel's incompleteness theorems (← links | edit)
- History of logic (← links | edit)
- Abductive reasoning (← links | edit)
- Proof (← links | edit)
- Wilhelm Ackermann (← links | edit)
- Consistency (← links | edit)
- Mathematical proof (← links | edit)
- Richard's paradox (← links | edit)
- Combinatory logic (← links | edit)
- Kőnig's lemma (← links | edit)
- Hilbert's problems (← links | edit)
- Computability theory (← links | edit)
- Jacques Herbrand (← links | edit)
- Truth value (← links | edit)
- Foundations of mathematics (← links | edit)
- Metamathematics (← links | edit)
- Proof-theoretic (redirect page) (← links | edit)
- Outline of academic disciplines (← links | edit)
- Effective results in number theory (← links | edit)
- Sequent calculus (← links | edit)
- Sequent (← links | edit)
- Curry–Howard correspondence (← links | edit)
- Coherentism (← links | edit)
- Index of logic articles (← links | edit)
- Reverse mathematics (← links | edit)
- Partition of a set (← links | edit)