Computability and Logic

Front Cover
Cambridge University Press, Sep 17, 2007 - Philosophy
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. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.
 

What people are saying - Write a review

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

Contents

II
v
III
ix
IV
4
V
11
VI
23
VIII
28
IX
33
X
39
XXXIX
180
XL
184
XLI
187
XLII
195
XLIII
200
XLIV
204
XLV
208
XLVI
212

XI
45
XII
51
XIII
58
XIV
61
XV
68
XVI
71
XVII
76
XVIII
82
XIX
84
XX
89
XXI
94
XXII
102
XXIV
107
XXV
114
XXVI
120
XXVII
125
XXVIII
130
XXIX
134
XXX
141
XXXI
144
XXXII
145
XXXIII
148
XXXIV
150
XXXV
154
XXXVI
162
XXXVII
167
XXXVIII
175
XLVII
214
XLVIII
220
XLIX
229
L
231
LI
235
LII
241
LIII
243
LIV
248
LV
252
LVI
253
LVII
258
LVIII
261
LIX
263
LX
267
LXI
274
LXII
277
LXIII
283
LXIV
290
LXV
294
LXVI
300
LXVII
307
LXVIII
310
LXIX
315
LXX
322
LXXI
325
LXXII
329
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information