Introduction to Formal Proof: 2016-2017
Timetables
Lecturer |
|
Term |
Trinity Term 2017 (10 lectures) |
Lectures |
Trinity Term 2017Tuesday, 11:00 - 12:00 ( Weeks 1-4 ) LTA Wednesday, 11:00 - 12:00 ( Weeks 1-4 ) LTA Thursday, 11:00 - 12:00 ( Weeks 1-4 ) LTA |