Last year¡¯s exam

Last year¡¯s exam questions are here.  And the solutions and grading guidelines are here.

Note that some questions refer to the ?free variable sequent calculus? that we didn¡¯t cover this year.

Exams were oral in many of the previous years, and the content of the lecture was quite different, so it wouldn¡¯t make a lot of sense to practice using those exams.