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ženo v:
Podrobná bibliografie
Hlavní autor: Wolf, Robert S.
Médium: E-kniha Kniha
Jazyk:angličtina
Vydáno: Providence, Rhode Island American Mathematical Society 2005
Mathematical Association of America
Vydání:1
Edice:Carus Mathematical Monographs
Témata:
Algebra, Abstract
Logic, Symbolic and mathematical
Mathematics
ISBN:0883850427, 9780883850428, 0883850362, 9780883850367
ISSN:0069-0813, 2637-7535
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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