Recursive number theory a development of recursive arithmetic in a logic-free equation calculus /

Main Authors: Goodstein, R. L. Reuben Louis
Corporate Authors: Elsevier Science & Technology
Published: North-Holland Pub. Co.,
Publication Dates: 1957.