Logique Mathématique et Théorie des Ensembles :

Le 09 février 2012 à 14:00 - Irem

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

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