
Fortæl dine venner om denne vare:
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
Kč 4.512
Bestilles fra fjernlager
Forventes klar til forsendelse 10. - 16. jul.
Tilføj til din iMusic ønskeseddel
Eller
Findes 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
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | 6. december 2010 |
ISBN13 | 9789048152988 |
Forlag | Springer |
Antal sider | 395 |
Mål | 155 × 235 × 21 mm · 566 g |
Vis alle
Mere med Roman Murawski
Se alt med Roman Murawski ( f.eks. Hardcover bog og Paperback Bog )