An edition of Recursive functions and metamathematics
(1999)
Recursive functions and metamathematics
problems of completeness and decidability, Gödel's theorems
by Roman Murawski
Share
×Close
This edition 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
|
zzzz
|
2
Recursive functions and metamathematics: problems of completeness and decidability, Gödel's theorems
1999, Kluwer Academic
in English
0792359046 9780792359043
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references (p. 341-375) and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
History
- Created October 15, 2008
- 8 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 18, 2024 | Edited by MARC Bot | import existing book |
| January 27, 2022 | Edited by ImportBot | import existing book |
| December 1, 2020 | Edited by MARC Bot | import existing book |
| September 25, 2020 | Edited by MARC Bot | import existing book |
| October 15, 2008 | Created by ImportBot | Imported from bcl_marc record |