Geodesic
Constructive mathematical theories consistent with classical logic
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 4, Tome 93 (1967), pp. 113-122 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

@article{TM_1967_93_a6,
     author = {V. A. Lifshits},
     title = {Constructive mathematical theories consistent with classical logic},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {113--122},
     year = {1967},
     volume = {93},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TM_1967_93_a6/}
}
TY  - JOUR
AU  - V. A. Lifshits
TI  - Constructive mathematical theories consistent with classical logic
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1967
SP  - 113
EP  - 122
VL  - 93
UR  - http://geodesic.mathdoc.fr/item/TM_1967_93_a6/
LA  - ru
ID  - TM_1967_93_a6
ER  - 
%0 Journal Article
%A V. A. Lifshits
%T Constructive mathematical theories consistent with classical logic
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1967
%P 113-122
%V 93
%U http://geodesic.mathdoc.fr/item/TM_1967_93_a6/
%G ru
%F TM_1967_93_a6
V. A. Lifshits. Constructive mathematical theories consistent with classical logic. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 4, Tome 93 (1967), pp. 113-122. http://geodesic.mathdoc.fr/item/TM_1967_93_a6/