Logique Mathématique et Théorie des Ensembles :

Le 19 avril 2012 à 13:45 - Irem

Présentée par Théret David - Université Montpellier II

Arithmétique ordinale : somme, produit, puissance. Suites de Goodstein.