Geodesic
Constructivizable and non-constructivizable formal arithmetic structures
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 40 (1985) no. 6, pp. 145-146

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

@article{RM_1985_40_6_a19,
     author = {A. A. Tverskoi},
     title = {Constructivizable and non-constructivizable formal arithmetic structures},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {145--146},
     publisher = {mathdoc},
     volume = {40},
     number = {6},
     year = {1985},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RM_1985_40_6_a19/}
}
TY  - JOUR
AU  - A. A. Tverskoi
TI  - Constructivizable and non-constructivizable formal arithmetic structures
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1985
SP  - 145
EP  - 146
VL  - 40
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_1985_40_6_a19/
LA  - en
ID  - RM_1985_40_6_a19
ER  - 
%0 Journal Article
%A A. A. Tverskoi
%T Constructivizable and non-constructivizable formal arithmetic structures
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1985
%P 145-146
%V 40
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RM_1985_40_6_a19/
%G en
%F RM_1985_40_6_a19
A. A. Tverskoi. Constructivizable and non-constructivizable formal arithmetic structures. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 40 (1985) no. 6, pp. 145-146. http://geodesic.mathdoc.fr/item/RM_1985_40_6_a19/