Geodesic
The calculi of constructive logic with subordinate variables
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 3, Tome 72 (1964), pp. 228-343

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{TM_1964_72_a6,
     author = {A. V. Idel'son},
     title = {The calculi of constructive logic with subordinate variables},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {228--343},
     publisher = {mathdoc},
     volume = {72},
     year = {1964},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TM_1964_72_a6/}
}
TY  - JOUR
AU  - A. V. Idel'son
TI  - The calculi of constructive logic with subordinate variables
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1964
SP  - 228
EP  - 343
VL  - 72
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TM_1964_72_a6/
LA  - ru
ID  - TM_1964_72_a6
ER  - 
%0 Journal Article
%A A. V. Idel'son
%T The calculi of constructive logic with subordinate variables
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1964
%P 228-343
%V 72
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TM_1964_72_a6/
%G ru
%F TM_1964_72_a6
A. V. Idel'son. The calculi of constructive logic with subordinate variables. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 3, Tome 72 (1964), pp. 228-343. http://geodesic.mathdoc.fr/item/TM_1964_72_a6/