160 / St9 no.17
Goodstein, R. L.
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus.
/
.- Amsterdam: North-Holland Publishing, 1957
.- xii, 190p.
.- ( Studies in logic and the foundations of mathematics
Subject Headings:
Recursion theory;
Arithmetic;--Foundations
Number theory;
Copy Details:
Acc. No.: 1301, Full Call No.: 160 ST9, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------