Required Texts
Here is the literature, that is relevant for this course.
Related Reading
General Overviews and Historical Material:
Logic and Set Theory
On Gödel's theorems
Logic and Mathematical Problem Solving
[ 80-110 home page
| syllabus
| overview
| schedule
| homework
| quizzes
| literature
| handouts
| links
| no frames
]
© Dirk Schlimm, Last modified: Tue May 1 10:32:47 EDT 2001