白俄罗斯语

В.В. Рыбаков

代数i Logika(1985)

  • 第24卷,第1期,第87-107页
  • 国际标准编号:0373-9252

如何引用

顶部

Рыбаков, В.В.. “国际代数i Logika24.1 (1985): 87-107. <http://eudml.org/doc/187304>.

@1985年第{РбакоВ条,
作者={Рыбаков,В.В.},
journal={代数i逻辑},
关键词={模态逻辑;直觉命题演算;容许规则;有限基;无限基},
语言={rus},
数字={1},
页数={87-107},
publisher={Akademija Nauk SSSR,Sibirskoe Otdelenie,Matematiki研究所},
title={БаабаоПустимтхПравиЛоГикS4иInt},
url={http://eudml.org/doc/187304},
体积={24},
年份={1985},
}

TY-JOUR公司
AU-РбакоВ,В.В。
TI-БаатаоПустимтхПраВиЛоГикS4иInt
JO-代数i Logika
PY-1985年
PB-Akademija Nauk SSSR,Sibirskoe Otdelenie,Matematiki研究所
VL-24
IS-1标准
第87页
EP-107
洛杉矶-罗斯
KW——模态逻辑;直觉命题演算;受理规则;有限基;无限基
UR-(欧元)http://eudml.org/doc/187304
急诊室-

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

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

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

    
                

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