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.

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

@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},
     publisher = {mathdoc},
     volume = {93},
     year = {1967},
     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
PB  - mathdoc
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
%I mathdoc
%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/