Computability and Logic (Bog, Paperback / softback, Engelsk) af George S. Boolos

Computability and Logic

(Bog, Paperback / softback, Engelsk)
Forfattere: George S. Boolos, John P. (Princeton University Burgess, Richard C. Jeffrey

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

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