Logique Mathématique et Théorie des Ensembles :

Le 12 janvier 2012 à 14:00 - Irem

Présentée par Maillot Sylvain - Université Montpellier 2

Fonctions récursives : fonction d'Ackermann