Computability and Logic - Richard C. Jeffrey,George S. Boolos,John P. Burgess
-25% koodilla BOOKS
Toimitus 17-23 arkipäivässä
30 päivän palautusoikeus
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel’s incompleteness theorems, but also a large number of optional topics, from Turing’s theory of computability to Ramsey’s theorem. Including a selection of exercises, adjusted for this edition, ... Täydellinen kuvaus
Saatat myös pitää
Kuvaus
Lisätietoja
| Kirjoittaja | Richard C. Jeffrey, George S. Boolos, John P. Burgess |
|---|---|
| Julkaisija | Cambridge University Press |
| Julkaisuvuosi | 2012 |
| Kannen tyyppi | Kovakantinen |
| EAN | 9780521877527 |