Fortæl dine venner om denne vare:
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library Roman Murawski 1999 edition
Pris
DKK 1.358
Bestilles fra fjernlager
Forventes klar til forsendelse 6. - 12. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library
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.
395 pages, biography
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 30. september 1999 |
| ISBN13 | 9780792359043 |
| Forlag | Springer |
| Antal sider | 395 |
| Mål | 156 × 234 × 23 mm · 757 g |
| Sprog | Engelsk |
Mere med Roman Murawski
Vis alleSe alt med Roman Murawski ( f.eks. Hardcover bog og Paperback Bog )