Overview
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.
- | Author: Joseph R. Shoenfield
- | Publisher: A K PETERS
- | Publication Date: Feb 09, 2001
- | Number of Pages: 352 pages
- | Binding: Paperback or Softback
- | ISBN-10: 1568811357
- | ISBN-13: 9781568811352
