You are here: home / university / logic

Mathematical Logic

Seminar on Sequent Calculus, A.Y. 2011-12, in collaboration with Alberto Amadio, Marco Gezzele and Gianpaolo Silvestrini: