An edition of Recursive functions and metamathematics
(1999)
Recursive Functions and Metamathematics
Problems of Completeness and Decidability, Gödel's Theorems (Synthese Library)
1 edition
by Roman Murawski
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems (Synthese Library)
September 30, 1999, Springer
Hardcover
in English
- 1 edition
0792359046 9780792359043
|
aaaa
|
2
Recursive functions and metamathematics: problems of completeness and decidability, Gödel's theorems
1999, Kluwer Academic
in English
0792359046 9780792359043
|
zzzz
|
Book Details
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| July 18, 2024 | Edited by MARC Bot | import existing book |
| January 27, 2022 | Edited by ImportBot | import existing book |
| September 25, 2020 | Edited by MARC Bot | import existing book |
| December 3, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| December 10, 2009 | Created by WorkBot | add works page |