Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library - Roman Murawski - Bücher - Springer - 9789048152988 - 6. Dezember 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library 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 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 anzeigen