-
中文图书1.非经典数理逻辑与近似推理 O141/162/2
馆藏复本:4
可借复本:0 王国俊著
科学出版社 2008
(0) 馆藏
-
中文图书2.数理逻辑:基本原理与形式演算 O141/450
馆藏复本:7
可借复本:0 李未著
科学出版社 2008
(0) 馆藏
-
中文图书3.面向计算机科学的数理逻辑:系统建模与推理 O141/640
馆藏复本:5
可借复本:1 (德)Michael Huth,(英)Mark Ryan著
机械工业出版社 2007
(0) 馆藏
-
中文图书4.应用逻辑 O141/762/2
馆藏复本:5
可借复本:0 (美)Anil Nerode, Richard A.Shore著
机械工业出版社 2007
(0) 馆藏
-
中文图书5.非经典数理逻辑与近似推理 O141/162
馆藏复本:8
可借复本:0 王国俊著
科学出版社 2000.9
(0) 馆藏
-
中文图书6.可计算性与数理逻辑 O141/444/2
馆藏复本:8
可借复本:0 (美)布勒斯(George S.Boolos), (美)John P.Burgess, (美)Richard C.Jeffrey著
电子工业出版社 2005.7
(0) 馆藏
-
中文图书7.半符号逻辑:传统逻辑与符号逻辑的桥梁 O141/111
馆藏复本:5
可借复本:1 张霭珠著
复旦大学出版社 2004.12
(0) 馆藏
-
中文图书8.数理逻辑引论与归结原理-2版 O141/162.2
馆藏复本:5
可借复本:0 王国俊著
科学出版社 2006.3
(0) 馆藏
-
中文图书9.数理逻辑 O141/232
馆藏复本:8
可借复本:3 毕富生著
高等教育出版社 2004.1
(0) 馆藏
-
中文图书10.数理逻辑 O141/163
馆藏复本:6
可借复本:0 孙明湘著
中南大学出版社 2004.8
(0) 馆藏
-
中文图书11.互逆主义数理逻辑 O141/732
馆藏复本:8
可借复本:0 周训伟著
中国科学技术出版社 2004.4
(0) 馆藏
-
中文图书12.数理逻辑-第2版 O141/627/2
馆藏复本:5
可借复本:0 (美) Herbert B. Enderton著
人民邮电出版社 2007.3
(0) 馆藏