Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Recursive number theory: a development of recursive arithmetic in a logic-free equation calculus
1957, North-Holland Pub. Co.
electronic resource
in English
0444533850 9780444533852
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
Definition by recursion
Equation calculus
Logical constants
Fundamental theorems of arithmetic
Formalisations of primitive recursive arithmetic
Reductions to primitive recursion
Elimination of parameters
Gödel numbering and the incompleteness of arithmetic.
Edition Notes
Bibliography: p. 188.
Description based on print version record.
Classifications
External Links
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created July 6, 2019
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 6, 2019 | Edited by MARC Bot | import existing book |
July 6, 2019 | Created by MARC Bot | Imported from Internet Archive item record. |