A Tour Through Mathematical Logic (Carus Mathematical Monographs) by Robert S. Wolf
English | 2005 | ISBN: 0883850362 | ISBN-13: 9780883850367 | 414 pages | DJVU | 4,8 MB
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.