Mathematical Logic

Front Cover
Courier Corporation, 2002 - Mathematics - 398 pages
3 Reviews
Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Gödel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Gödel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.
  

What people are saying - Write a review

User Review - Flag as inappropriate

I like it!

Review: Mathematical Logic

User Review  - Ryan O'neil - Goodreads

Great book, but one piece of advice before you read; find a PDF or intro-to-course online that introduces some of the basic concepts because the author jumps right in pretty quickly. Read full review

Contents

I
3
II
8
III
13
IV
17
V
20
VI
22
VII
25
VIII
28
XXXIII
180
XXXIV
183
XXXV
186
XXXVI
191
XXXVII
198
XXXVIII
201
XXXIX
215
XL
223

IX
33
X
39
XI
43
XII
45
XIII
50
XIV
58
XV
67
XVI
74
XVII
83
XVIII
93
XIX
96
XX
101
XXI
107
XXII
112
XXIII
116
XXIV
121
XXV
125
XXVI
134
XXVII
140
XXVIII
148
XXIX
151
XXX
157
XXXI
167
XXXII
175
XLI
232
XLII
242
XLIII
247
XLIV
254
XLV
260
XLVI
265
XLVII
273
XLVIII
283
XLIX
295
L
305
LI
312
LII
315
LIII
321
LIV
331
LV
338
LVI
349
LVII
361
LVIII
371
LIX
386
LX
387
LXI
388
LXII
389
Copyright

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information