检索到 9 条 题名=现代 主题=数理逻辑 的结果
-
中文图书1.McCarthy函数和Ackermann函数 O141/33
馆藏复本：2
可借复本：2 刘培杰数学工作室编译
哈尔滨工业大学出版社 2017
(0) 馆藏 -
中文图书2.数理逻辑导引 O141/32
馆藏复本：2
可借复本：2 冯琦编著
科学出版社 2017
(0) 馆藏 -
中文图书3.现代逻辑学 B81/30
馆藏复本：6
可借复本：6 李树琦等著
重庆出版社 1989.7
(0) 馆藏 -
中文图书4.数理逻辑引论与归结原理.第2版 O141/11(2)
馆藏复本：1
可借复本：1 王国俊著
科学出版社 2006
(0) 馆藏 -
中文图书5.非经典数理逻辑与近似推理.第2版 O141/3051(3)
馆藏复本：1
可借复本：1 王国俊著
科学出版社 2008
(0) 馆藏 -
中文图书6.数理逻辑基础 O141/1(2)
馆藏复本：2
可借复本：2 胡世华, 陆钟万著
科学出版社 1981
(0) 馆藏 -
中文图书7.数理逻辑引论与归结原理 O141/23
馆藏复本：1
可借复本：1 王国俊著
科学出版社 2003
(0) 馆藏 -
中文图书8.非经典数理逻辑与近似推理.第2版 O141/3051(2)
馆藏复本：9
可借复本：9 王国俊著
科学出版社 2008
(0) 馆藏 -
中文图书9.数理逻辑引论与归结原理.第2版 O141/11
馆藏复本：5
可借复本：5 王国俊著
科学出版社 2006
(0) 馆藏
