Introduction to Formal Proof: 2014-2015
Timetables
Lecturer |
|
Term |
Trinity Term 2015 (10 lectures) |
Lectures |
Trinity Term 2015Tuesday, 11:00 - 12:00 ( Weeks 1-4 ) Lecture Theatre A Wednesday, 11:00 - 12:00 ( Weeks 1-2 ) Lecture Theatre A Thursday, 11:00 - 12:00 ( Weeks 1-4 ) Lecture Theatre A |