Goodstein, R. L.

Recursive number theory : a development of recursive arithmetic in a logic-free equation calcul /us / R.L. Goodstein. - Amsterdam : North-Holland, 1957. - xii, 190 p. ; 22 cm. - Studies in logic and the foundations of mathematics . - Studies in logic and the foundations of mathematics .

Includes bibliography: p. 188 and index..


Number theory.
Recursive functions.

512.7 / GOR 1957