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