Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 3, Tome 72 (1964), pp. 228-343
Citer cet article
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/
@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
