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