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 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

@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},
     year = {1964},
     volume = {72},
     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
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
%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/