Fortell venner om denne varen:
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library 1999 edition
Roman Murawski
Pris
元 1.216
Bestillingsvarer
Forventes levert 15. - 23. jul
Legg til iMusic ønskeliste
Eller
Finnes også som:
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 | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 30. september 1999 |
| ISBN13 | 9780792359043 |
| Utgivere | Springer |
| Antall sider | 395 |
| Mål | 156 × 234 × 23 mm · 757 g |
| Språk | Engelsk |
![Cover for Roman Murawski · Logos and Mathema 2: Studies in the Philosophy of Logic and Mathematics - Studies in Philosophy, History of Ideas and Modern Societies (Innbunden bok) [New edition] (2020)](https://imusic.b-cdn.net/images/item/original/149/9783631807149.jpg?roman-murawski-2020-logos-and-mathema-2-studies-in-the-philosophy-of-logic-and-mathematics-studies-in-philosophy-history-of-ideas-and-modern-societies-innbunden-bok&class=scaled&v=1615013941)
![Cover for Roman Murawski · The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland - Science Networks. Historical Studies (Innbunden bok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/309/9783034808309.jpg?roman-murawski-2014-the-philosophy-of-mathematics-and-logic-in-the-1920s-and-1930s-in-poland-science-networks-historical-studies-innbunden-bok&class=scaled&v=1473544954)
![Cover for Roman Murawski · Logos and Mathema: Studies in the Philosophy of Mathematics and History of Logic - Studies in Philosophy, History of Ideas and Modern Societies (Innbunden bok) [New edition] (2011)](https://imusic.b-cdn.net/images/item/original/042/9783631618042.jpg?roman-murawski-2011-logos-and-mathema-studies-in-the-philosophy-of-mathematics-and-history-of-logic-studies-in-philosophy-history-of-ideas-and-modern-societies-innbunden-bok&class=scaled&v=1626703590)