Computability and Logic - Richard C. Jeffrey,George Boolos,John P. Burgess
-30% ar kodu BOOKS
Piegāde 15-21 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, but also a large number of optional topics, from TuringâEUR(TM)s theory of computability to RamseyâEUR(TM)s theorem.
Jums varētu patikt arī
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.
Vairāk informācijas
| Autors | Richard C. Jeffrey, George Boolos, John P. Burgess |
|---|---|
| Izdevējs | Cambridge University Press |
| Izlaides gads | 2007 |
| Vāka tips | Mīkstais vāks |
| EAN | 9780521701464 |