Geodesic
On predicate and operator variants of the formation of the theories of constructive mathematics
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 3, Tome 72 (1964), pp. 383-436

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

@article{TM_1964_72_a9,
     author = {G. E. Mints},
     title = {On predicate and operator variants of the formation of the theories of constructive mathematics},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {383--436},
     publisher = {mathdoc},
     volume = {72},
     year = {1964},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TM_1964_72_a9/}
}
TY  - JOUR
AU  - G. E. Mints
TI  - On predicate and operator variants of the formation of the theories of constructive mathematics
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1964
SP  - 383
EP  - 436
VL  - 72
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TM_1964_72_a9/
LA  - ru
ID  - TM_1964_72_a9
ER  - 
%0 Journal Article
%A G. E. Mints
%T On predicate and operator variants of the formation of the theories of constructive mathematics
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1964
%P 383-436
%V 72
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TM_1964_72_a9/
%G ru
%F TM_1964_72_a9
G. E. Mints. On predicate and operator variants of the formation of the theories of constructive mathematics. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 3, Tome 72 (1964), pp. 383-436. http://geodesic.mathdoc.fr/item/TM_1964_72_a9/