Logic and Proof: 2016-2017

Timetables

Lecturer	Christoph Haase
Term	Hilary Term 2017 (16 lectures)
Lectures	Hilary Term 2017 Monday, 10:00 - 11:00 ( Weeks 1-8 ) LTB Wednesday, 9:00 - 10:00 ( Weeks 1-8 ) LTB