L3: Fondements de l'Informatique 2 (FDI2)
Notes de cours
Les théorèmes d'incomplétude de Gödel
(version du 28/04/2010)