Introduction to Formal Proof: 2012-2013
Timetables
|
Lecturer |
|
|
Term |
Hilary Term 2013 (8 lectures) |
|
Lectures |
Hilary Term 2013Tuesday, 10:00 - 11:00 ( Weeks 1,2,5,6 ) Lecture Theatre A Thursday, 10:00 - 11:00 ( Weeks 1,2,5,6 ) Lecture Theatre A Friday, 10:00 - 11:00 ( Weeks 7-8 ) Lecture Theatre A |