Computability and logicUpplaga 4
- Upplaga: 4e upplagan
- Utgiven: 2002
- ISBN: 9780521007580
- Sidor: 368 st
- Förlag: Cambridge University Press
- Format: Bok
- Språk: Engelska
Om boken
This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book 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 such as Godel’s Incompleteness Theorems, but also a large number of optional topics from Turing’s theory of computability to Ramsey’s theorem. John Burgess has now enhanced the book by adding a selection of problems at the end of each chapter, and by reorganising and rewriting chapters to make them more independent of each other and thus to increase the range of options available to instructors as to what to cover and what to defer.
Åtkomstkoder och digitalt tilläggsmaterial garanteras inte med begagnade böcker
Mer om Computability and logic (2002)
2002 släpptes boken Computability and logic skriven av George Boolos. Det är den 4e upplagan av kursboken. Den är skriven på engelska och består av 368 sidor. Förlaget bakom boken är Cambridge University Press.
Köp boken Computability and logic på Studentapan och spara pengar.
Referera till Computability and logic (Upplaga 4)
Harvard
Boolos, G. (2002). Computability and logic. 4:e uppl. Cambridge University Press.
Oxford
Boolos, George, Computability and logic, 4 uppl. (Cambridge University Press, 2002).
APA
Boolos, G. (2002). Computability and logic (4:e uppl.). Cambridge University Press.
Vancouver
Boolos G. Computability and logic. 4:e uppl. Cambridge University Press; 2002.
