%0 Journal Article
%A Reznikoff, Iégor
%T Axiomatisation indépendante des ensembles dénombrables de formules en logique intuitionniste
%J Compositio Mathematica
%D 1968
%P 170-187
%V 20
%I Wolters-Noordhoff Publishing
%U http://archive.numdam.org/item/CM_1968__20__170_0/
%G fr
%F CM_1968__20__170_0