Testi di riferimento:
Basic proof theory di A.Troelstra e H. Schwichtenberg, CUP, 2000
Structural proof theory di S.Negri e J.von Plato, CUP, 2001.
Questi testi sono disponibili in biblioteca sullo scaffale dedicato alla didattica.
Dispense:
Per questo corso prevede la collaborazione del Dr Roy Dyckhoff dell'Universita' di St Andrews e le lezioni saranno accompagnate da
costante "supervisione".
L'esame consiste essenzialmente nelle esercitazioni svolte durante il corso.