Recursive number theory A development of recursive arithmetic in a logic-free equation calculus - Goodstein, Reuben 1912-1985 (North-Holland Publ., 1957)