Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library - Roman Murawski - Kirjat - Springer - 9780792359043 - torstai 30. syyskuuta 1999
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 1999 edition

Roman Murawski

Hinta
A$ 286,54

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 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

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 30. syyskuuta 1999
ISBN13 9780792359043
Tuottaja Springer
Sivujen määrä 395
Mitta 156 × 234 × 23 mm   ·   757 g
Kieli English  

Näytä kaikki

Lisää tuotteita Roman Murawski