Séance Séminaire

Logique Mathématique et Théorie des Ensembles

Thursday 01 December 2011 à 14:00 - Irem

Jean Malgoire (Université de Montpellier)

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