D'où vient la certitude ? (l'épidictique) 3/3
IHP thematic trimester : Semantics of proofs and certified mathematics 24/04/2014
IHP thematic trimester : Semantics of proofs and certified mathematics 24/04/2014
De Vladimir Voevodsky
De Gérard Berry
De Gérard Berry
De Jean Louis Krivine