Introduction to Proof Systems: 2024-2025
Timetables
Lecturer | |
Term | Trinity Term 2025 (12 lectures) |
Classes | Trinity Term 2025Revision Class - Thursday, 10:30 - 11:30 ( Week 7 ) LTA |
Lectures | Trinity Term 2025Monday, 10:00 - 11:00 ( Weeks 1-4 ) LTA Tuesday, 10:00 - 11:00 ( Weeks 1-4 ) LTA Thursday, 10:00 - 11:00 ( Weeks 1-4 ) LTA |