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., 1957
Available at / 40 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Bibliography: p. 188