%0 Journal Article
%A Girard, Jean-Yves
%T Les démonstrations de cohérence de l'arithmétique
%J Séminaire de Philosophie et Mathématiques
%D 1980
%P 1-6
%N 1
%I IREM Paris-Nord ; École Normale Supérieure
%U http://www.numdam.org/item/SPHM_1980___1_A1_0/
%G fr
%F SPHM_1980___1_A1_0