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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Goodstein, R. L. (Reuben Louis) (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Amsterdam : North-Holland, 1957.
Σειρά:Studies in logic and the foundations of mathematics
Θέματα:
Περιγραφή
Φυσική περιγραφή:xii, 190 σ. ; 22 εκ.
Βιβλιογραφία:Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.