Goodstein, R. L. Recursive number theory a development of recursive arithmetic in a logic-free equation calculus - 190 páginas - Studies in logic and the foundations of mathematics . Subjects--Topical Terms: Teoría de los números LC Class. No.: QA248.5 / G6