Vinkkaa tuotetta kavereillesi:
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library Roman Murawski Softcover reprint of hardcover 1st ed. 1999 edition
Hinta
€ 159,99
Tilattu etävarastosta
Arvioitu toimitus ke - to 7. - 15. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
Löytyy myös muodossa:
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.
407 pages, biography
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | maanantai 6. joulukuuta 2010 |
| ISBN13 | 9789048152988 |
| Tuottaja | Springer |
| Sivujen määrä | 395 |
| Mitta | 155 × 235 × 21 mm · 566 g |
Lisää tuotteita Roman Murawski
Näytä kaikkiKatso kaikki joka sisältää Roman Murawski ( Esim. Hardcover Book Ja Paperback Book )