Introduction to Formal Proof: 2021-2022

Timetables

Lecturer	Edith Elkind
Term	Trinity Term 2022 (10 lectures)
Lectures	Trinity Term 2022 Thursday, 12:00 - 13:00 ( Weeks 1-5 ) LTB Friday, 12:00 - 13:00 ( Weeks 1-5 ) LTB