КритераатиароаустаимосТиПрркавиеактнаноисалттоеметмаеиртуиониСтскооткиикееуасинт。

В.В. Рыбаков

代数i Logika(1984)

  • 第23卷，第5期，第546-572页
  • 国际标准编号：0373-9252

如何引用

顶部

Рыбаков, В.В.. “КритераатиароаустаимосТирреавиеттнамалакаеноиинтуионисскотоуасики代数i Logika23.5 (1984): 546-572. <http://eudml.org/doc/187289>.

@1984年第{РрбакоВ条，
作者=｛Рыбаков，В.В.｝，
journal={代数i逻辑}，
关键词={模态逻辑；直觉主义命题逻辑；容许规则}，
语言={rus}，
数字={5}，
页码={546-572}，
publisher={Akademija Nauk SSSR，Sibirskoe Otdelenie，Matematiki研究所}，
标题=，
url={网址：http://eudml.org/doc/187289},
体积={23}，
年份={1984年}，
}

TY-JOUR公司
AU-РбакоВ，В.В。
TI-Кри。
JO-代数i Logika
PY-1984年
PB-Akademija Nauk SSSR，Sibirskoe Otdelenie，Matematiki研究所
VL-23
IS-5标准
SP-546
欧洲药典-572
洛杉矶-罗斯
KW——模态逻辑；直觉命题逻辑；可接受规则
UR-（欧元）http://eudml.org/doc/187289
急诊室-

要在页面上嵌入这些注释，请在希望注释出现的页面上包含以下JavaScript代码。

只有小部件的控件将以您选择的语言显示。注释将以其创作语言显示。

告诉小部件每页要显示多少注释。您可以使用下一个和上一个控件循环查看其他注释。

    
                

                
注意：最佳实践建议在结束之前放置JavaScript代码</body>标签。