A Tour Through Mathematical Logic (repost)
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
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.
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.