Mathematical Logic

A classic introduction to the main areas of mathematical logic, this book asserts that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking interesting problems. The author presents the basic concepts in a clear and accessible fashion, concentrating on what he views as the central topics of mathematical logic: proof theory, model theory, recursion theory, axiomatic number theory, and set theory. There are many exercises, and they provide the outline of what amounts to a second book that goes into all topics in more depth.