Un modèle de réalisabilité pour une version faible de l’axiome du choix (∀α.AC_α)
Laura Fontanella, Guillaume Geoffroy
I2M, Aix-Marseille Université
/user/laura.fontanella/
Date(s) : 14/02/2019 iCal
11h00 - 12h30
TBA
Catégories
Laura Fontanella, Guillaume Geoffroy
I2M, Aix-Marseille Université
/user/laura.fontanella/
Date(s) : 14/02/2019 iCal
11h00 - 12h30
TBA
Catégories