拉兹万·迪亚科内斯库 多值逻辑的机构语义。 (英语) Zbl 1307.03014号 模糊集系统。 218, 32-52 (2013). 审核人:谢尔盖斯·索洛夫乔夫斯(布尔诺) MSC公司:03B50号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},模糊集系统。218、32-52(2013;Zbl 1307.03014) 全文: 内政部
弗洛里安·拉贝 结合模型和证明理论的逻辑框架。 (英语) Zbl 1326.03082号 数学。结构。计算。科学。 23,第5期,945-1001(2013). 审核人:拉兹万·迪亚科内斯库(普洛耶什蒂) MSC公司:03G30型 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe},数学。结构。计算。科学。23,第5号,945--1001(2013;Zbl 1326.03082) 全文: 内政部
Martins,医学硕士。;马德拉,A。;巴尔博萨,L.S。 对逻辑解释的联合观点。 (英语) Zbl 1353.68185号 螺柱日志。 101,第4期,783-825(2013).MSC公司:68问题65 03G30型 18个C20 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Martins}等人,研究日志。101,第4号,783--825(2013;Zbl 1353.68185) 全文: 内政部 链接