Recursive number theory [E-Book] a development of recursive arithmetic in a logic-free equation calculus.
Goodstein, R. L.
Amsterdam, North-Holland Pub. Co., 1957
1 online resource (xii, 190 p.)
englisch
0444533850
9780444533852
Studies in logic and the foundations of mathematics
Full Text
Description not available.