Computability and Logic - Richard C. Jeffrey,George Boolos,John P. Burgess
-30% koodiga BOOKS
Saadetis 15-21 tööpäeva jooksul
30-päevane tagastamisõigus
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.
Võib-olla meeldib sulle ka
Kirjeldus
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.
Lisateave
| Autor | Richard C. Jeffrey, George Boolos, John P. Burgess |
|---|---|
| Kirjastaja | Cambridge University Press |
| Väljalaskeaasta | 2007 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9780521701464 |