Logique Mathématique et Théorie des Ensembles :

Le 22 décembre 2011 à 14:00 - Irem

Présentée par Malgoire Jean - Université de Montpellier

Théorème d'incomplétude de Gödel (fin)