
Vinkkaa tuotetta kavereillesi:
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library 1999 edition
Roman Murawski
Hinta
Mex$ 3.544,20
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 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.
395 pages, biography
Media | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
Julkaisupäivämäärä | torstai 30. syyskuuta 1999 |
ISBN13 | 9780792359043 |
Tuottaja | Springer |
Sivujen määrä | 395 |
Mitta | 156 × 234 × 23 mm · 757 g |
Kieli | English |
Näytä kaikki
Lisää tuotteita Roman Murawski
Katso kaikki joka sisältää Roman Murawski ( Esim. Hardcover Book Ja Paperback Book )