Geodesic
On predicate and operator variants of the formation of the theories of constructive mathematics
Informatics and Automation, 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{TRSPY_1964_72_a9,
     author = {G. E. Mints},
     title = {On predicate and operator variants of the formation of the theories of constructive mathematics},
     journal = {Informatics and Automation},
     pages = {383--436},
     publisher = {mathdoc},
     volume = {72},
     year = {1964},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TRSPY_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  - Informatics and Automation
PY  - 1964
SP  - 383
EP  - 436
VL  - 72
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TRSPY_1964_72_a9/
LA  - ru
ID  - TRSPY_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 Informatics and Automation
%D 1964
%P 383-436
%V 72
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TRSPY_1964_72_a9/
%G ru
%F TRSPY_1964_72_a9
G. E. Mints. On predicate and operator variants of the formation of the theories of constructive mathematics. Informatics and Automation, Problems of the constructive direction in mathematics. Part 3, Tome 72 (1964), pp. 383-436. http://geodesic.mathdoc.fr/item/TRSPY_1964_72_a9/