unset title
>
Contact_plural
>
Genco
login
login
password
log in
cancel
search
Genco
lastname
Genco
firstname
Francesco
organisation
IHPST, Université Paris Sorbonne
old_uid
15303
speakers_object
Intervention sans nom (manifestation: Philosophie des mathématiques et de la logique (séminaire Philmath de l’IHPST, UMR 8590 CNRS, Université Paris 1-Panthéon Sorbonne))
Intervention sans nom (manifestation: Philosophie des mathématiques et de la logique (séminaire Philmath de l’IHPST, UMR 8590 CNRS, Université Paris 1-Panthéon Sorbonne))
Formal explanations, logical grounding, and logical proofs