Tour Through Mathematical Logic

Tour Through Mathematical Logic

by Robert S. Wolf
     
 

ISBN-10: 0883850362

ISBN-13: 9780883850367

Pub. Date: 08/28/2004

Publisher: Mathematical Association of America

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

Overview

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.

Product Details

ISBN-13:
9780883850367
Publisher:
Mathematical Association of America
Publication date:
08/28/2004
Series:
Spectrum Series
Edition description:
New Edition
Pages:
408
Product dimensions:
5.70(w) x 8.40(h) x 1.10(d)

Table of Contents

1. Predicate logic; 2. Set theory; 3. Recursion theory and computability; 4. Model theory; 5. Independence results in set theory; 6. Nonstandard analysis; 7. Constructive mathematics; Appendix A. A deductive system for first-order logic; Appendix B. Relations and orderings; Appendix C. Cardinal arithmetic; Bibliography; Index.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >