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

Voir la notice du chapitre de livre

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