Updates: in order to recover the two classes we missed,
since next week the Monday class will last until 14.30.
Time and location
Monday, 12-14.30, room 0.21, Ludwigstraße 31
Tuesday 12-13, room 0.28, Ludwigstraße 31
Basic course material
Lecture notes by Nick Bezhanishvili and Dick de Jongh
Program, exercises, and additional material
(this will be updated as the course proceeds)
16 Oct. Course introduction. BHK Interpretation.
Material: pp. 1-7 of the lecture notes. Exercise sheet 1.
06 Nov. Finite model property, decidability. p-morphisms.
Material: class notes. Exercise sheet 4.
20 Nov. Class canceled due to illness.
Exercise sheet 5.
11 Dec. Lindenbaum-Tarski algebra. Intermediate logics.
08 Jan. Rieger-Nishimura lattice and ladder. n-universal models.
15 Jan. Intuitionistic first-order logic.
22 Jan. Heyting arithmetic.
29 Feb. Curry-Howard correspondence.
05 Feb. More on the Curry-Howard correspondence.