Kaikki kirjat 35 % alennuksella koodilla: BOOKS

  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

Recursion Theory for Metamathematics - Raymond M. Smullyan

englanti
1993-01-01
353,89 € 544,44 €

-35% koodilla BOOKS

Toimittajalla varastossa

Toimitus 17-23 arkipäivässä

30 päivän palautusoikeus

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äydellinen kuvaus

Saatat myös pitää

Kuvaus

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.

Lisätietoja

Kirjoittaja Raymond M. Smullyan
Julkaisija Oxford University Press
Julkaisuvuosi 1993
Kannen tyyppi Kovakantinen
EAN 9780195082326
Kirjoita oma arvostelusi
Arvostelet: Recursion Theory for Metamathematics
Arvostelusi:

Goodreads-arvostelut

353,89 € 544,44 €