Mihăilescu,尤根 二价命题的计算。 (法语) Zbl 0249.0206号 加利福尼亚州立大学巴洪·布库雷分校。逻辑学报 3,第1期,105-115(1960). 审核人:G.F.罗斯(M.R.25#9) 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 MSC公司: 03B05号 经典命题逻辑 关键词:完整性;正规形式;命题演算;等效;结合;分离;含义 引文:Zbl 0084.24702号 PDF格式BibTeX公司 XML格式引用 \textit{E.Mihéilescu},安大略大学C.I.Parhon București,Ser。《逻辑学报》3,105--115(1960;Zbl 0249.02006)