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