Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
Author(s)
Bibliographic Information
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
(Studies in logic and the foundations of mathematics)
North-Holland Pub. Co., 1964
Available at / 22 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
DC16:512.8/G6290025037292
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Bibliography: p. 188