Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library - Roman Murawski - Kirjat - Springer - 9789048152988 - maanantai 6. joulukuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Roman Murawski

Hinta
₩ 252.340

Tilattu etävarastosta

Arvioitu toimitus pe - ma 11. - 21. heinä
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 6. joulukuuta 2010
ISBN13 9789048152988
Tuottaja Springer
Sivujen määrä 395
Mitta 155 × 235 × 21 mm   ·   566 g

Näytä kaikki

Lisää tuotteita Roman Murawski