Séance Séminaire

Logique Mathématique et Théorie des Ensembles

Thursday 12 January 2012 à 14:00 - Irem

Sylvain Maillot (Université Montpellier 2)

Fonctions récursives : fonction d'Ackermann