Geodesic
Notes on the calculi of constructive logic with subordinate variables and with the axiom of complete induction
Informatics and Automation, 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{TRSPY_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 = {Informatics and Automation},
     pages = {106--112},
     publisher = {mathdoc},
     volume = {93},
     year = {1967},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TRSPY_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  - Informatics and Automation
PY  - 1967
SP  - 106
EP  - 112
VL  - 93
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TRSPY_1967_93_a5/
LA  - ru
ID  - TRSPY_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 Informatics and Automation
%D 1967
%P 106-112
%V 93
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TRSPY_1967_93_a5/
%G ru
%F TRSPY_1967_93_a5
A. V. Idel'son. Notes on the calculi of constructive logic with subordinate variables and with the axiom of complete induction. Informatics and Automation, Problems of the constructive direction in mathematics. Part 4, Tome 93 (1967), pp. 106-112. http://geodesic.mathdoc.fr/item/TRSPY_1967_93_a5/