Introduction to Formal Proof: 2015-2016

Timetables

Lecturer	Bernard Sufrin
Term	Trinity Term 2016 (10 lectures)
Lectures	Trinity Term 2016 Tuesday, 11:00 - 12:00 ( Weeks 1-4 ) LTA Wednesday, 11:00 - 12:00 ( Weeks 1-2 ) LTA Thursday, 11:00 - 12:00 ( Weeks 1-4 ) LTA