Les démonstrations de cohérence de l'arithmétique
Dieudonné Jean; Loi Maurice; Thom René (ed.)
Girard, Jean-Yves