1962
article-link
What links here
Wilhelm Ackermann
1896
article-link
Sheffer stroke
article-link
Primitive recursive function
article-link
March 29
article-link
Max Newman
article-link
Kurt Gödel
article-link
John von Neumann
article-link
Gödel's completeness theorem
article-link
First-order logic
article-link
Entscheidungsproblem
article-link
David Hilbert
article-link
December 24
article-link
Church–Turing thesis
article-link
Ackermann function
article-link
Ackermann (surname)
article-link
List of Germans
article-link
Plankalkül
article-link
Gödel's incompleteness theorems
article-link