Freunden von diesem Artikel berichten:
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library Roman Murawski Softcover reprint of hardcover 1st ed. 1999 edition
Preis
€ 155,49
Bestellware
Lieferdatum: ca. 9. - 19. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 6. Dezember 2010 |
| ISBN13 | 9789048152988 |
| Verlag | Springer |
| Seitenanzahl | 395 |
| Maße | 155 × 235 × 21 mm · 566 g |
Weitere Titel von Roman Murawski
Alle anzeigenAlle Titel von Roman Murawski ansehen ( u. a. Gebundenes Buch und Taschenbuch )