Monday, March 06, 2006

Augustin Rayo

Philform accueille Augustin Rayo (MIT), Vendredi 10 mars, de 10h à 12h. :
"Commitment in Mathematics and Higher-order logic" (Détails ici).