Tasuta kohaletoimetamine tellimustele üle 29 €
  • check 10+ miljonit raamatut
  • check Uued tooted iga päev
  • check Meid usaldab üle 1 miljoni kliendi
  • check Hea hind ja allahindlused
  • check Tarne üle kogu Euroopa

Recursion Theory for Metamathematics - Raymond M. Smullyan

inglise keel
1993-01-01
299,44 € 499,07 €

-40% koodiga BOOKS

Meie tarnija laos

Saadetis 17-23 tööpäeva jooksul

30-päevane tagastamisõigus

This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of n ... Täielik kirjeldus

Võib-olla meeldib sulle ka

Kirjeldus

This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.

Lisateave

Autor Raymond M. Smullyan
Kirjastaja Oxford University Press
Väljalaskeaasta 1993
Kaanetüüp Kõvakaaneline
EAN 9780195082326
Kirjuta oma arvustus
Te vaatate: Recursion Theory for Metamathematics
Teie hinnang:

Goodreads'i arvustused

299,44 € 499,07 €