Logique Mathématique et Théorie des Ensembles :

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


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

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





Retour