Geodesic
Notes on the calculi of constructive logic with subordinate variables and with the axiom of complete induction
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 4, Tome 93 (1967), pp. 106-112.

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

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