Day 2: mat385

Last time: Welcome, and historical logic Next time: discuss section 1.2

Today:


Website maintained by Andy Long. Comments appreciated.