×

找到20份文件(结果1–20)

中间逻辑的扬科夫公式和公理化技术。 (英语) Zbl 07672616号

亚历克斯(编辑)Citkin等人,V.A.Yankov,关于非经典逻辑、历史和数学哲学。查姆:斯普林格。Outst公司。控制日志。24, 71-124 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

软件