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

Celý popis

Uložené v:
Podrobná bibliografia
Hlavný autor: Wolf, Robert S.
Médium: E-kniha Kniha
Jazyk:English
Vydavateľské údaje: Providence, Rhode Island American Mathematical Society 2005
Mathematical Association of America
Vydanie:1
Edícia:Carus Mathematical Monographs
Predmet:
Algebra, Abstract
Logic, Symbolic and mathematical
Mathematics
ISBN:0883850427, 9780883850428, 0883850362, 9780883850367
ISSN:0069-0813, 2637-7535
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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