160 / G629r
Goodstein, R. L.
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
/ R. L. Goodstein
.- Amsterdam: North-Holland, 1957
.- xii, 190p .
.- ( Studies In Logic And The Foundations Of Mathematics / Edited By L. E. J. Brouwer
Subject Headings:
Number theory;
Copy Details:
Acc. No.: 5485, Full Call No.: 160 G629r, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------