
Fortell venner om denne varen:
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library Softcover reprint of hardcover 1st ed. 1999 edition
Roman Murawski
Pris
HK$ 1.311
Bestillingsvarer
Forventes levert 10. - 18. jul
Legg til iMusic ønskeliste
Eller
Finnes også som:
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library Softcover reprint of hardcover 1st ed. 1999 edition
Roman Murawski
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics.
407 pages, biography
Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
Utgitt | 6. desember 2010 |
ISBN13 | 9789048152988 |
Utgivere | Springer |
Antall sider | 395 |
Mål | 155 × 235 × 21 mm · 566 g |