Computability and Logic
George S. Boolos, Jeffrey, Richard C., John P. (Princeton University, New Jersey) Burgess
Cambridge University Press, 2007
57,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780521701464
- ISBN-10
- 0521701465
- Publisher
- Cambridge University Press
- Year
- 2007
- Publication date
- 2007-09-17
- Pages
- 366
- Dimensions
- 254x177x19
- Weight
- 690