George S. Boolos, John P. Burgess (New Jersey Princeton University), Richard C. Jeffrey

Broschiertes Buch

Computability and Logic

Beschreibung

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.

Produktdetails

• Verlag: Cambridge University Press
• 5 Revised edition
• Seitenzahl: 366
• Erscheinungstermin: 1. Oktober 2007
• Englisch
• Abmessung: 254mm x 178mm x 20mm
• Gewicht: 690g
• ISBN-13: 9780521701464
• ISBN-10: 0521701465
• Artikelnr.: 23035160