-
中文图书1.真之公理化理论 B81/79
馆藏复本:2
可借复本:1 (德) 沃尔克·哈尔巴赫(Volker Halbach)著
科学出版社 2021
(0) 馆藏
-
中文图书2.逻辑后承概念 B812.23/11
馆藏复本:2
可借复本:1 (美) 约翰·埃切门迪著
科学出版社 2020
(0) 馆藏
-
中文图书3.应用逻辑中的数学问题 B812/54
馆藏复本:2
可借复本:1 (英)D.M. 加贝,(俄)S.S. 贡恰罗夫,(美)M. 扎哈里扬谢夫编
科学出版社 2020
(0) 馆藏
-
中文图书4.应用逻辑 O141/23
馆藏复本:4
可借复本:3 (美) Anil Nerode, Richard A. Shore著
机械工业出版社 2007
(0) 馆藏