Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
by R. L. Goodstein.
Amsterdam : North-Holland, 1957.
xii, 190 págs. ; 22 cm.
Serie: Studies in logic and the foundations of mathematics
Bibliography: p. 188.
Reseña: MathSciNet, 21 #1272