Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus.
- Amsterdam ; North-Holland, 1957.
- xii, 190 p.: 22 cm.
- Studies in logic and the foundations of mathematics .
Bibliography: p. 188.
a 58004618 //r932
Recursion theory. Arithmetic---Foundations. Number theory.