Le point aveugle 1 : Cours de logique vers la perfectionLe point aveugle 1 : Cours de logique vers la perfectionde Jean-Yves Girard5 pointsJ'aiJe veux
Les Démonstrations de cohérence de l'arithmétiqueLes Démonstrations de cohérence de l'arithmétiquede Jean-Yves Girard3 pointsJ'aiJe veux
