Introduction to Formal Proof: 2017-2018

Timetables

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