List of mathematical logic topics
article-link
What links here
Structural induction
Intuitionistic type theory
article-link
Well-founded relation
article-link
Axiomatic system
article-link
Sprague–Grundy theorem
article-link
Recursion
article-link
Mathematical induction
article-link
Induction
article-link
Fundamental theorem of arithmetic
article-link
Ackermann function
article-link
Structural recursion
redirect