Arithmetic - Foundations.
Overview
| Works: | 3 works in 3 publications in 3 languages | |
|---|---|---|
Titles
David Hilbert's lectures on the foundations of arithmetic and logic, 1917-1933 /
by:
(Language materials, printed)
Recursive number theory = a development of recursive arithmetic in a logic-free equation calculus.
by:
(Language materials, printed)