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

Bibliographic Details
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:
Description
Physical Description:xii, 190 σ. ; 22 εκ.
Bibliography:Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.