Introduction to Formal Proof: 2018-2019

Timetables

Lecturer	Bernard Sufrin
Term	Trinity Term 2019 (10 lectures)
Lectures	Trinity Term 2019 Tuesday, 12:00 - 13:00 ( Weeks 1-5 ) LTA Thursday, 12:00 - 13:00 ( Weeks 1-5 ) LTA