Konrad Zdanowski

Lundi 17 novembre de 14h00 à 16h00 dans la grande salle de l'IHPST, Philform accueille Konrad Zdanowski (Polish Academy of Sciences / Université Paris 7) :
"On the second order intuitionistic propositional logic without a universal quantifier".

Télécharger l'article ici.