@article{CM_1968__20__170_0,
     author = {Reznikoff, I\'egor},
     title = {Axiomatisation ind\'ependante des ensembles d\'enombrables de formules en logique intuitionniste},
     journal = {Compositio Mathematica},
     pages = {170--187},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     year = {1968},
     mrnumber = {225638},
     zbl = {0157.01404},
     language = {fr},
     url = {http://www.numdam.org/item/CM_1968__20__170_0/}
}