Séance Séminaire

Logique Mathématique et Théorie des Ensembles

jeudi 12 janvier 2012 à 14:00 - Irem

Sylvain Maillot (Université Montpellier 2)

Fonctions récursives : fonction d'Ackermann