Geodesic
Сепарационное свойство для доказуемостно-интуиционистского исчисления
Matematičeskie issledovaniâ, Tome 98 (1987), pp. 121-133 Cet article a éte moissonné depuis la source European Digital Mathematics Library

Voir la notice de l'article

Mots-clés : provability intuitionistic calculus, modal operator, separation property 
@article{MI_1987__98_189952,
     author = {{\CYRI}.{\CYRG}. {\CYRS}{\cyri}{\cyrm}{\cyro}{\cyrn}{\cyro}{\cyrv}{\cyra}},
     title = {{\CYRS}{\cyre}{\cyrp}{\cyra}{\cyrr}{\cyra}{\cyrc}{\cyri}{\cyro}{\cyrn}{\cyrn}{\cyro}{\cyre} {\cyrs}{\cyrv}{\cyro}{\cyrishrt}{\cyrs}{\cyrt}{\cyrv}{\cyro} {\cyrd}{\cyrl}{\cyrya} {\cyrd}{\cyro}{\cyrk}{\cyra}{\cyrz}{\cyru}{\cyre}{\cyrm}{\cyro}{\cyrs}{\cyrt}{\cyrn}{\cyro}-{\cyri}{\cyrn}{\cyrt}{\cyru}{\cyri}{\cyrc}{\cyri}{\cyro}{\cyrn}{\cyri}{\cyrs}{\cyrt}{\cyrs}{\cyrk}{\cyro}{\cyrg}{\cyro} {\cyri}{\cyrs}{\cyrch}{\cyri}{\cyrs}{\cyrl}{\cyre}{\cyrn}{\cyri}{\cyrya}},
     journal = {Matemati\v{c}eskie issledovani\^a},
     pages = {121--133},
     year = {1987},
     volume = {98},
     zbl = {0649.03008},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MI_1987__98_189952/}
}
TY  - JOUR
AU  - И.Г. Симонова
TI  - Сепарационное свойство для доказуемостно-интуиционистского исчисления
JO  - Matematičeskie issledovaniâ
PY  - 1987
SP  - 121
EP  - 133
VL  - 98
UR  - http://geodesic.mathdoc.fr/item/MI_1987__98_189952/
LA  - ru
ID  - MI_1987__98_189952
ER  - 
%0 Journal Article
%A И.Г. Симонова
%T Сепарационное свойство для доказуемостно-интуиционистского исчисления
%J Matematičeskie issledovaniâ
%D 1987
%P 121-133
%V 98
%U http://geodesic.mathdoc.fr/item/MI_1987__98_189952/
%G ru
%F MI_1987__98_189952
И.Г. Симонова. Сепарационное свойство для доказуемостно-интуиционистского исчисления. Matematičeskie issledovaniâ, Tome 98 (1987), pp. 121-133. http://geodesic.mathdoc.fr/item/MI_1987__98_189952/