Logic Module 6
Module 6 - Chapter 6. (LFOL) (Week 16)
- Lecture 5 Practice Proof Theory using Quantifiers I.
- Seminar 12 Multiple Quantifiers.
- Tue. 13-15, U6.
- Read Chap. 6, LFOL.
- Lecture 6 Practice Proof Theory using Quantifiers II.
- Lab 11 Tarski's World and HyperProof Exercises.
- Thu. 10-12, MC Mac 1, (A).
- Thu. 13-15, MC Mac 1, (B).
- Lab 12 Tarski's World and HyperProof Exercises.
- Fri. 10-12, MC Mac 1, (A).
- Fri. 13-15, MC Mac 1, (B).
6-Mar-96 08:03