Introduction to Proof Systems: 2023-2024

Timetables

Lecturer	Christoph Haase
Term	Trinity Term 2024 (12 lectures)
Lectures	Trinity Term 2024 Monday, 11:00 - 12:00 ( Weeks 1-4 ) LTA Wednesday, 11:00 - 12:00 ( Weeks 1-4 ) LTA Friday, 11:00 - 12:00 ( Weeks 1-4 ) LTA