Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library - Roman Murawski - Bøger - Springer - 9789048152988 - 6. december 2010
Ved uoverensstemmelse mellem cover og titel gælder titel

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
Kč 4.512

Bestilles fra fjernlager

Forventes klar til forsendelse 10. - 16. jul.
Tilføj til din iMusic ønskeseddel
Eller

Findes 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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 6. december 2010
ISBN13 9789048152988
Forlag Springer
Antal sider 395
Mål 155 × 235 × 21 mm   ·   566 g

Vis alle

Mere med Roman Murawski