Great Readings
This document consists of great books or articles on Logic. Some are here because there is a course covering the same material; some are just great books that you should read at some point in your career.
Once you have made it through most of the curriculum, knowing whether a book is worth your time will become easier. Or, if you are struggling in one of the courses, perhaps reading a book on the subject will help.
Introductory & General
| Name | Author(s) |
|---|---|
| Gödel, Escher, Bach: An Eternal Golden Braid | Douglas R. Hofstadter |
| Computability and Logic | George S. Boolos, John P. Burgess, Richard C. Jeffrey |
| Introduction to Mathematical Logic | Elliott Mendelson |
Mathematical Logic
| Name | Author(s) |
|---|---|
| Mathematical Logic | Joseph R. Shoenfield |
| A Tour Through Mathematical Logic | Robert S. Wolf |
Philosophical Logic
| Name | Author(s) |
|---|---|
| Doubt Truth to Be a Liar | Graham Priest |
| In Contradiction | Graham Priest |