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

Voir la notice du chapitre de livre

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