Computability and Logic - Richard C. Jeffrey,George Boolos,John P. Burgess
-25% koodilla BOOKS
Toimitus 15-21 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, but also a large number of optional topics, from TuringâEUR(TM)s theory of computability to RamseyâEUR(TM)s theorem.
Saatat myös pitää
Kuvaus
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, but also a large number of optional topics, from TuringâEUR(TM)s theory of computability to RamseyâEUR(TM)s theorem.
Lisätietoja
| Kirjoittaja | Richard C. Jeffrey, George Boolos, John P. Burgess |
|---|---|
| Julkaisija | Cambridge University Press |
| Julkaisuvuosi | 2007 |
| Kannen tyyppi | Pehmeäkantinen |
| EAN | 9780521701464 |