Title: Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus.
Authors: Goodstein, R. L.
Publisher: North-Holland Pub. Co.,
Year: 1964
Subjects: Recursive functions.; Number theory