D'où vient la certitude ? (l'épidictique) 3/3
Appears in collection : 2014 - T2 - Semantics of proofs and certified mathematics
IHP thematic trimester : Semantics of proofs and certified mathematics 24/04/2014
Appears in collection : 2014 - T2 - Semantics of proofs and certified mathematics
IHP thematic trimester : Semantics of proofs and certified mathematics 24/04/2014