Reviews matching “Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus”

1 result

BookAuthorReviewerJournalDate
Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus R. L. Goodstein Th. Skolem The Journal of Symbolic Logic 1958

Open this search with filters