Cirphles
�cole normale sup�rieure CNRS
> Centre Cavaillès > Activités > Conférences 2012-2013 > Luiz Carlos Pereira, "Consistency and Cut-elimination : variations on a (...)

Luiz Carlos Pereira, "Consistency and Cut-elimination : variations on a Gentzen-Prawitz thème"

4 décembre 2012, à 14h, ENS-Paris, Salle de séminaire du Centre Cavaillès, 29 rue d’Ulm

Luiz Carlos Pereira (PUC-Rio) donnera un exposé le mardi 4 décembre à 14h sur "Consistency and Cut-elimination : variations on a Gentzen-Prawitz thème".

Lieu : Salle de séminaire du Centre Cavaillès, 29 rue d’Ulm 75005, 3ème étage

  |   Contacts & Plans  |   Mentions légales  |   Plan du site  |   Suivre la vie du site RSS