×

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

容许推理规则的剩余有限性。 (俄语、英语) Zbl 0989.03015号

代数逻辑卡 40,第5期,593-618(2001); 代数逻辑翻译40,第5期,334-347(2001)。
MSC公司:03B45号 03B60号
PDF格式BibTeX公司 XML格式引用
全文: 欧洲DML

筛选结果依据…

出版年份

主字段