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

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library 1999 edition

Roman Murawski

Pris
SEK 2.009

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 17. 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 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.


395 pages, biography

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 30. september 1999
ISBN13 9780792359043
Forlag Springer
Antal sider 395
Mål 156 × 234 × 23 mm   ·   757 g
Sprog Engelsk  

Vis alle

Mere med Roman Murawski