沃尔夫冈·劳滕贝格 Klassische和nichtklasische Aussagenlogik。 (德语) Zbl 0424.03007号 Logik und Grundlagen der Mathematik公司,气缸组22。布伦瑞克/威斯巴登:弗里德。维埃格·桑恩(Vieweg&Sohn)。十一、 扎尔南361号。图DM 39.80(1979)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于三评论引用于69文件 MSC公司: 03英镑05 经典命题逻辑 03B45号 模态逻辑(包括规范逻辑) 03B50号 多值逻辑 03G10年 格和相关结构的逻辑方面 03G20 Łukasiewicz和后代数的逻辑方面 03-01 关于数学逻辑和基础的介绍性说明(教科书、教程论文等) 03-02 与数学逻辑和基础相关的研究展览(专著、调查文章) 关键词:命题演算;代数语义学;超滤理论;经典句子演算;没有量词的公理系统和演绎系统;直觉逻辑;构造逻辑系统 PDF格式BibTeX公司 XML格式