Sunday, June 11, 2006

Francesca Poggiolesi

Francesca Poggiolesi (IHPSTFirenze) présentera mardi 13 juin, à Philform, de 14H à 16h, "A new sequent calculus for modal logic".(abstract).