Séance Séminaire

Logique Mathématique et Théorie des Ensembles

jeudi 01 décembre 2011 à 14:00 - Irem

Jean Malgoire (Université de Montpellier)

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