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

• Main Author: Goodstein, R. L. (Reuben Louis) (συγγραφέας.)
• Format: Book
• Language: English
• Published: Amsterdam : North-Holland, 1957.
• Series: Studies in logic and the foundations of mathematics
• Subjects: Αριθμοί, Θεωρία των