The following pages link to Proof theory
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Functional predicate (links | edit)
- Metamathematics (links | edit)
- Kőnig's theorem (set theory) (links | edit)
- Axiomatic system (links | edit)
- Quadratic residue (links | edit)
- Gödel numbering (links | edit)
- Structural induction (links | edit)
- Enumeration (links | edit)
- Proof-theoretic (redirect page) (links | edit)
- Open formula (links | edit)
- Logical biconditional (links | edit)
- Outline of academic disciplines (links | edit)
- Square of opposition (links | edit)
- Inaccessible cardinal (links | edit)
- Three-valued logic (links | edit)
- Effective results in number theory (links | edit)
- Rule of inference (links | edit)
- Sequent calculus (links | edit)
- Sequent (links | edit)
- Curry–Howard correspondence (links | edit)
- List of mathematical proofs (links | edit)
- Ultraproduct (links | edit)
- Coherentism (links | edit)
- Range of a function (links | edit)
- Uniqueness quantification (links | edit)
- Predicate (mathematical logic) (links | edit)
- Aleph number (links | edit)
- Extensionality (links | edit)
- Universe (mathematics) (links | edit)
- Index of logic articles (links | edit)
- Universal set (links | edit)
- Supertask (links | edit)
- Well-founded relation (links | edit)
- Tarski's theorem about choice (links | edit)
- Term logic (links | edit)
- Reverse mathematics (links | edit)
- Computably enumerable set (links | edit)
- Computable set (links | edit)
- Partition of a set (links | edit)
- George Boolos (links | edit)
- Non-monotonic logic (links | edit)
- Second-order logic (links | edit)
- Cantor's theorem (links | edit)
- Löwenheim–Skolem theorem (links | edit)
- Constructible universe (links | edit)
- Intuitionistic type theory (links | edit)
- Logicism (links | edit)
- Solomon Feferman (links | edit)
- Correctness (computer science) (links | edit)
- Proof by infinite descent (links | edit)