Geodesic
Axiomatisation indépendante des ensembles dénombrables de formules en logique intuitionniste
Compositio Mathematica, Tome 20 (1968), pp. 170-187

Voir la notice de l'article provenant de la source Numdam

MR   Zbl 

Reznikoff, Iégor. Axiomatisation indépendante des ensembles dénombrables de formules en logique intuitionniste. Compositio Mathematica, Tome 20 (1968), pp. 170-187. http://geodesic.mathdoc.fr/item/CM_1968__20__170_0/
@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},
     year = {1968},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     mrnumber = {225638},
     zbl = {0157.01404},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/CM_1968__20__170_0/}
}
TY  - JOUR
AU  - Reznikoff, Iégor
TI  - Axiomatisation indépendante des ensembles dénombrables de formules en logique intuitionniste
JO  - Compositio Mathematica
PY  - 1968
SP  - 170
EP  - 187
VL  - 20
PB  - Wolters-Noordhoff Publishing
UR  - http://geodesic.mathdoc.fr/item/CM_1968__20__170_0/
LA  - fr
ID  - CM_1968__20__170_0
ER  - 
%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://geodesic.mathdoc.fr/item/CM_1968__20__170_0/
%G fr
%F CM_1968__20__170_0