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 theor...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Washington, DC
THE MATHEMATICAL ASSOCIATION OF AMERICA
2005
|
| Series: | The Carus mathematical monographs
no. 30 |
| Subjects: | |
| Online Access: | Click Here to View Status and Holdings. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Add Tag MARC
| LEADER | 00000cam#a2200000#i#4501 | ||
|---|---|---|---|
| 001 | wils-458781 | ||
| 005 | 20218114155 | ||
| 008 | 211028t20052005XXU ag# ##001 |#eng#D | ||
| 020 | # | # | |a 9780883850428 |q paperback |
| 020 | # | # | |a 0883850427 |q paperback |
| 040 | # | # | |a DLC |b eng |c DLC |d UiTM |e rda |
| 041 | 0 | # | |a eng |
| 090 | 0 | 0 | |a QA9 |b .W64 2005 |
| 100 | 1 | # | |a Wolf, Robert S. |e author |
| 245 | 1 | 2 | |a A Tour through Mathematical Logic |c Robert S. Wolf |
| 264 | # | 1 | |a Washington, DC |b THE MATHEMATICAL ASSOCIATION OF AMERICA |c 2005 |
| 264 | # | 4 | |c ©2005 |
| 300 | # | # | |a xv, 397 pages |b illustrations |c 22 cm |
| 336 | # | # | |a text |2 rdacontent |
| 337 | # | # | |a unmediated |2 rdamedia |
| 338 | # | # | |a volume |2 rdacarrier |
| 490 | 1 | # | |a The Carus mathematical monographs |v no. 30 |
| 504 | # | # | |a Includes bibliographical references |
| 520 | # | # | |a 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. |
| 650 | # | 0 | |a Logic, Symbolic and mathematical |
| 650 | # | 0 | |a Algebra, Abstract |
| 856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=458781 |
| 964 | # | # | |c BOK |d CS |
Mathematical logic