unset title
>
Contact_plural
>
Pataut
login
login
password
log in
cancel
search
Pataut
lastname
Pataut
firstname
Fabrice
organisation
IHPST - CNRS, Université Paris 1 Panthéon-Sorbonne
old_uid
641
responsibles_object
Determinate Truths
Practical rationality and structuralism
Decision procedures and proof theory: the case of intuitionistic K
What is formal in Aristotle’s syllogistic?
Three dimensions of mathematical explanations
∂ is for dialectica: when proofs and programs meet differentiation
Mathematics and the Creativity of Neural Networks
Goals and Values in Mathematics: An Orientation
speakers_object
Titre non précisé