A Tour Through Mathematical Logic

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...

Full description

Saved in:
Bibliographic Details
Main Author Wolf, Robert S.
Format eBook Book
LanguageEnglish
Published Providence, Rhode Island American Mathematical Society 2005
Mathematical Association of America
Edition1
SeriesCarus Mathematical Monographs
Subjects
Algebra, Abstract
Logic, Symbolic and mathematical
Mathematics
Online AccessGet full text

Cover

More Information
Summary: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, nonstandard analysis, and constructive mathematics. In addition, this monograph discusses several topics not normally found in books of this type, such as fuzzy logic, nonmonotonic logic, and complexity theory.
ISBN:0883850427
9780883850428
0883850362
9780883850367
ISSN:0069-0813
2637-7535
DOI:10.1090/car/030