%0 Journal Article
%A Gauthier, Yves
%T Logique arithmétique
%J Séminaire de Philosophie et Mathématiques
%D 1987
%P 1-23
%N 7
%I École Normale Supérieure
%U http://www.numdam.org/item/SPHM_1987___7_A1_0/
%G fr
%F SPHM_1987___7_A1_0