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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------