352 Pages
by
A K Peters/CRC Press
356 Pages
by
A K Peters/CRC Press
Also available as eBook on:
This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and... Read more
PREFACE, Dedication, Chapter 1: The Nature of Mathematical Logic, Chapter 2: First-Order Theories, Chapter 3: Theorems in First-Order Theories, Chapter 4: The Characterization Problem, Chapter 5: The Theory of Models, Chapter 6: Incompleteness and Undecidability, Chapter 7: Recursion Theory, Chapter 8: The Natural Numbers, Chapter 9: Set Theory, Appendix The Word Problem, Index
Biography
Joseph R. Shoenfield
" ""classic text is as fresh and useful today as when first published. Noted for the economy of its presentation, it includes a wealth of basic and key results from all parts of mathematical logic."" -Solomon Feferman, Stanford University, January 2001
""The book remains an excellent introduction to logic . . . reads as a continuous whole, not a set of isolated topics . . . "" -C. W. Kilmister, The Mathematical Gazette, July 2003"
