Séance Séminaire

Logique Mathématique et Théorie des Ensembles

jeudi 09 février 2012 à 14:00 - Irem
Jean Malgoire (Université de Montpellier)

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