A Tour Through Mathematical Logic

The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level. The book is deliberately less structured and more user-friendly than standard texts on foundations, so will also be attractive to those outside the classroom environment wanting to learn about the subject.

Author: Robert S. Wolf
Binding Type: Hardcover
Publisher: Mathematical Association of America (MAA)
Published: 03/10/2005
Series: Carus Mathematical Monographs #30
Pages: 414
ISBN: 9780883850367