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 .