Colloque : Intuitionism, Computation, and Proof: Selected themes from the research of G. Kreisel

Informations pratiques
Vendredi 10 Juin 2016 - 09:0019:00
Samedi 11 Juin 2016 - 09:0019:00
IHPST - Salle de conférence