Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library - Roman Murawski - Bøker - Springer - 9789048152988 - 6. desember 2010
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library Softcover reprint of hardcover 1st ed. 1999 edition

Roman Murawski

Pris
zł 621,90

Bestillingsvarer

Forventes levert 11. - 21. jul
Legg til iMusic ønskeliste
Eller

Finnes også som:

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library Softcover reprint of hardcover 1st ed. 1999 edition

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 6. desember 2010
ISBN13 9789048152988
Utgivere Springer
Antall sider 395
Mål 155 × 235 × 21 mm   ·   566 g

Vis alle

Mer med Roman Murawski