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 
Mathematical logic