Bemærk: Kan ikke leveres før jul.
Forventes på lager: 17-09-2007
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's theory of computability to Ramsey's theorem. This fifth edition was first published in 2007.
| Forlag | Cambridge University Press |
| Forfattere | George S. Boolos, John P. (Princeton University Burgess, Richard C. Jeffrey |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 5 Revised edition |
| Udgivelsesdato | 17-09-2007 |
| Første udgivelsesår | 2007 |
| Illustrationer | Worked examples or Exercises |
| Originalsprog | United Kingdom |
| Sideantal | 366 |
| Indbinding | Paperback / softback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 366 pages, Worked examples or Exercises |
| Mål | 254 x 177 x 19 |
| ISBN-13 / EAN-13 | 9780521701464 |