ОсхоДимостиПоаитривнхСхемS4и国际

Мардаев, С.И., 等。“ОсхоДимостиПоаитаанхСхемS4и国际。”代数i Logika33.2 (1994): 166-178. <http://eudml.org/doc/187681>.

@第{条1994，
作者={马达加斯加，С.И.，马尔代夫，S.I.，马尔达夫，S.I，马尔达耶夫，S.I}，
journal={代数i逻辑}，
关键词={模态逻辑S4；模态正方案；直觉逻辑}，
语言={rus}，
数字={2}，
页码={166-178}，
publisher={Akademija Nauk SSSR，Sibirskoe Otdelenie，Matematiki研究所}，
标题={ОсхоДимостиПоаитаанахсумS4иInt}，
url={http://eudml.org/doc/187681},
体积={33}，
年份＝{1994}，
}

TY-JOUR公司
AU-МарДаев，С.И。
澳大利亚-马尔达耶夫，S.I。
澳大利亚-马尔代夫，S.I。
澳大利亚-马尔代夫，S.I。
TI-ОсхоДимостиПоитривнхСхемS4и国际
JO-代数i Logika
1994年上半年
PB-Akademija Nauk SSSR，Sibirskoe Otdelenie，Matematiki研究所
VL-33
为-2
SP-166
第178页
洛杉矶-罗斯
KW——模态逻辑S4；模态正格式；直觉逻辑
UR-（欧元）http://eudml.org/doc/187681
急诊室-