A Tour Through Mathematical Logic

• Main Author: Wolf, Robert S.
• Format: eBook Book
• Language: English
• Published: Providence, Rhode Island American Mathematical Society 2005; Mathematical Association of America
• Edition: 1
• Series: Carus Mathematical Monographs
• Subjects: Algebra, Abstract; Logic, Symbolic and mathematical; Mathematics

A Tour through Mathematical Logic provides a tour through the main branches of the foundations of mathematics. It contains chapters covering elementary logic, basic set theory, recursion theory, Gödel’s (and others’) incompleteness theorems, model theory, independence results in set theory, nonstand...