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