Introduction to Formal Proof: 2017-2018
Timetables
Lecturer |
|
Term |
Trinity Term 2018 (10 lectures) |
Lectures |
Trinity Term 2018Tuesday, 12:00 - 13:00 ( Weeks 1-5 ) LTA Thursday, 12:00 - 13:00 ( Weeks 1-5 ) LTA |