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

Informations pratiques
Friday 10 June 2016 - 09:00 to 19:00
Saturday 11 June 2016 - 09:00 to 19:00
IHPST - Salle de conférence