Typed lambda calculus
article-link
What links here
Proof theory
Correctness (computer science)
article-link
Solomon Feferman
article-link
Intuitionistic type theory
article-link
Second-order logic
article-link
Non-monotonic logic
article-link
George Boolos
article-link
Partition of a set
article-link
Reverse mathematics
article-link
Coherentism
article-link
Curry–Howard correspondence
article-link
Sequent
article-link
Sequent calculus
article-link
Effective results in number theory
article-link
Outline of academic disciplines
article-link
Metamathematics
article-link
Foundations of mathematics
article-link
Truth value
article-link
Jacques Herbrand
article-link
Analytic philosophy
article-link
Computability theory
article-link
Hilbert's problems
article-link
Kőnig's lemma
article-link
Combinatory logic
article-link
Richard's paradox
article-link
Mathematical proof
article-link
Consistency
article-link
Wilhelm Ackermann
article-link
Proof
article-link
Abductive reasoning
article-link
History of logic
article-link
Gödel's incompleteness theorems
article-link
Natural deduction
article-link
Philosophy of mathematics
article-link
Gerhard Gentzen
article-link
Actual and potential infinity
article-link
Theorem
article-link
Theory
article-link
Primitive recursive function
article-link
Model theory
article-link
Mathematical logic
article-link
Metaethics
article-link
Mathematics
article-link
Lambda calculus
article-link
Propositional logic
article-link
Kurt Gödel
article-link
John von Neumann
article-link
If and only if
article-link
Gödel's completeness theorem
article-link
First-order logic
article-link
Proof-theoretic
redirect