Geodesic
О финитной аппроксимируемости суперинтуиционистских логик
Matematičeskij sbornik, Tome 144 (1977) no. 2, pp. 289-301

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

Mots-clés : аппроксимируемость суперинтуиционистских логик, достаточные условия, формулы с одной переменной, не финитно аппроксимируемая логика, формулы с двумя переменными, формулы от трех и более переменных 
@article{MS_1977__144_2_a8,
     author = {{\CYRS}.{\CYRK}. {\CYRS}{\cyro}{\cyrb}{\cyro}{\cyrl}{\cyre}{\cyrv}},
     title = {{\CYRO} {\cyrf}{\cyri}{\cyrn}{\cyri}{\cyrt}{\cyrn}{\cyro}{\cyrishrt} {\cyra}{\cyrp}{\cyrp}{\cyrr}{\cyro}{\cyrk}{\cyrs}{\cyri}{\cyrm}{\cyri}{\cyrr}{\cyru}{\cyre}{\cyrm}{\cyro}{\cyrs}{\cyrt}{\cyri} {\cyrs}{\cyru}{\cyrp}{\cyre}{\cyrr}{\cyri}{\cyrn}{\cyrt}{\cyru}{\cyri}{\cyrc}{\cyri}{\cyro}{\cyrn}{\cyri}{\cyrs}{\cyrt}{\cyrs}{\cyrk}{\cyri}{\cyrh} {\cyrl}{\cyro}{\cyrg}{\cyri}{\cyrk}},
     journal = {Matemati\v{c}eskij sbornik},
     pages = {289--301},
     publisher = {mathdoc},
     volume = {144},
     number = {2},
     year = {1977},
     zbl = {0352.02020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MS_1977__144_2_a8/}
}
TY  - JOUR
AU  - С.К. Соболев
TI  - О финитной аппроксимируемости суперинтуиционистских логик
JO  - Matematičeskij sbornik
PY  - 1977
SP  - 289
EP  - 301
VL  - 144
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS_1977__144_2_a8/
LA  - ru
ID  - MS_1977__144_2_a8
ER  - 
%0 Journal Article
%A С.К. Соболев
%T О финитной аппроксимируемости суперинтуиционистских логик
%J Matematičeskij sbornik
%D 1977
%P 289-301
%V 144
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1977__144_2_a8/
%G ru
%F MS_1977__144_2_a8
С.К. Соболев. О финитной аппроксимируемости суперинтуиционистских логик. Matematičeskij sbornik, Tome 144 (1977) no. 2, pp. 289-301. http://geodesic.mathdoc.fr/item/MS_1977__144_2_a8/