An edition of Recursive number theory (1957)
a development of recursive arithmetic in a logic-free equation calculus
By R. L. Goodstein
Publish Date
1957
Publisher
North-Holland Pub. Co.
Language
eng
Pages
190
Description:
subjects: Fondements, Number theory, Arithmétique, Recursion theory, Arithmetic, Nombres, Théorie des, Foundations, Recursivité, Théorie de la