×

找到14个文档(结果1-14)

断言逻辑、真方程逻辑和抽象代数逻辑的层次结构。 (英语) Zbl 1459.03099号

Czelakowski,Janusz(编辑),Don Pigozzi,关于抽象代数逻辑、泛代数和计算机科学。查姆:斯普林格。Outst公司。控制日志。16, 53-79 (2018).
MSC公司:03G27号 03B22号
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

筛选结果依据…

文档类型

全部的 前5名

出版年份