Computability and Logic - Richard C. Jeffrey,George S. Boolos,John P. Burgess
-25% su kodu BOOKS
Pristatymas per 17-23 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, 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, ... Visas aprašymas
Jums taip pat gali patikti
Aprašymas
Daugiau informacijos
| Autorius | Richard C. Jeffrey, George S. Boolos, John P. Burgess |
|---|---|
| Leidėjas | Cambridge University Press |
| Išleidimo metai | 2012 |
| Viršelio tipas | Kieti viršeliai |
| EAN | 9780521877527 |