Geodesic
Алгоритмы, алгебры и интуиционистская логика
Matematičeskie issledovaniâ, Tome 98 (1987), pp. 10-14

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : survey 
@article{MI_1987__98_189945,
     author = {{\CYRA}.{\CYRV}. {\CYRK}{\cyru}{\cyrz}{\cyrn}{\cyre}{\cyrc}{\cyro}{\cyrv}},
     title = {{\CYRA}{\cyrl}{\cyrg}{\cyro}{\cyrr}{\cyri}{\cyrt}{\cyrm}{\cyrery}, {\cyra}{\cyrl}{\cyrg}{\cyre}{\cyrb}{\cyrr}{\cyrery} {\cyri} {\cyri}{\cyrn}{\cyrt}{\cyru}{\cyri}{\cyrc}{\cyri}{\cyro}{\cyrn}{\cyri}{\cyrs}{\cyrt}{\cyrs}{\cyrk}{\cyra}{\cyrya} {\cyrl}{\cyro}{\cyrg}{\cyri}{\cyrk}{\cyra}},
     journal = {Matemati\v{c}eskie issledovani\^a},
     pages = {10--14},
     publisher = {mathdoc},
     volume = {98},
     year = {1987},
     zbl = {0643.03040},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MI_1987__98_189945/}
}
TY  - JOUR
AU  - А.В. Кузнецов
TI  - Алгоритмы, алгебры и интуиционистская логика
JO  - Matematičeskie issledovaniâ
PY  - 1987
SP  - 10
EP  - 14
VL  - 98
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MI_1987__98_189945/
LA  - ru
ID  - MI_1987__98_189945
ER  - 
%0 Journal Article
%A А.В. Кузнецов
%T Алгоритмы, алгебры и интуиционистская логика
%J Matematičeskie issledovaniâ
%D 1987
%P 10-14
%V 98
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MI_1987__98_189945/
%G ru
%F MI_1987__98_189945
А.В. Кузнецов. Алгоритмы, алгебры и интуиционистская логика. Matematičeskie issledovaniâ, Tome 98 (1987), pp. 10-14. http://geodesic.mathdoc.fr/item/MI_1987__98_189945/