Recursive number theory
Subtitle: a development of recursive arithmetic ina logic-free equation calculus.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1957
Place of publication: Amsterdam
Language: eng
Number of pages: 190
Subjects: Recursion theory; Arithmetic -- Foundations; Numbers, Theory of
Notes: Bibliography, p. 188.