| Exam 1 (Introduction to simple logical
systems)
The exam Our suggested answers |
Exam 2 (Completeness and recursive procedures)
The exam Our suggested answers |
| Exam 3 (Propositional calculus and typographical
number theory)
The exam Our suggested answers |
Exam 4 (Gödel's incompleteness
theorem)
The exam Our suggested answers |