Computability and Logic - Richard C. Jeffrey,George Boolos,John P. Burgess
-25% su kodu BOOKS
Pristatymas per 15-21 d.d.
30 dienų grąžinimo politika
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.
Jums taip pat gali patikti
Aprašymas
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.
Daugiau informacijos
| Autorius | Richard C. Jeffrey, George Boolos, John P. Burgess |
|---|---|
| Leidėjas | Cambridge University Press |
| Išleidimo metai | 2007 |
| Viršelio tipas | Minkšti viršeliai |
| EAN | 9780521701464 |