Goodstein, R. L.

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.

511.352 / G655r