
Vinkkaa tuotetta kavereillesi:
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library Softcover reprint of hardcover 1st ed. 1999 edition
Roman Murawski
Hinta
₩ 252.340
Tilattu etävarastosta
Arvioitu toimitus pe - ma 11. - 21. heinä
Lisää iMusic-toivelistallesi
Eller
Löytyy myös muodossa:
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 | 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 |
Näytä kaikki
Lisää tuotteita Roman Murawski
Katso kaikki joka sisältää Roman Murawski ( Esim. Hardcover Book Ja Paperback Book )