Computability and Logic

Front Cover
Cambridge University Press, Sep 17, 2007 - Computers - 350 pages
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, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

9780521877527c02_p1622
16
9780521877527c03_p2334
23
9780521877527c04_p3544
35
9780521877527c05_p4562
45
9780521877527c06_p6372
63
9780521877527c07_p7387
73
9780521877527c08_p8898
88
9780521877527c09_p99113
99
9780521877527c17_p220231
220
9780521877527c18_p232240
232
9780521877527c19_p241259
241
9780521877527c20_p260269
260
9780521877527c21_p270278
270
9780521877527c22_p279285
279
9780521877527c23_p286294
286
9780521877527c24_p295301
295

9780521877527c10_p114125
114
9780521877527c11_p126136
126
9780521877527c12_p137152
137
9780521877527c13_p153165
153
9780521877527c14_p166186
166
9780521877527c15_p187198
187
9780521877527c16_p199219
199
9780521877527c25_p302318
302
9780521877527c26_p319326
319
9780521877527c27_p327340
327
9780521877527bib_p341342
341
9780521877527ind_p343350
343
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 347 - The special aim of the present edition has been to increase the pedagogical usefulness of the book by adding a selection of problems at the end of each chapter, and by making chapters more independent of each other, so as to increase the range of options available to the instructor or reader as to what to cover and what to defer.

Bibliographic information