Logic and Computation
80-310/610
Handouts
The main text for the course is:
Logic and Structure, Dirk van Dalen, Springer 1997. |
Most of the lecture material is covered in the text.
Occasional handouts covering additional material will be distributed in class and listed here.
| Date |
Topic |
Handout |
|
| Aug 31 |
Set Theory |
available in BH 135 |
| Sept 5 |
Induction and Recursion |
available in BH 135 |
[ Home | Homework
| Handouts ]
awodey@cmu.edu
Steve Awodey