Computability and Logic - Richard C. Jeffrey,George S. Boolos,John P. Burgess
-30% ar kodu BOOKS
Piegāde 17-23 darba dienu laikā
30 dienu atgriešanas 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, ... Pilns apraksts
Jums varētu patikt arī
Aprašymas
Vairāk informācijas
| Autors | Richard C. Jeffrey, George S. Boolos, John P. Burgess |
|---|---|
| Izdevējs | Cambridge University Press |
| Izlaides gads | 2012 |
| Vāka tips | Cietais vāks |
| EAN | 9780521877527 |