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
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
ISBN:0883850427, 9780883850428, 0883850362, 9780883850367
ISSN:0069-0813, 2637-7535
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
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