检索到 47 条 题名=数理逻辑 的结果
-
中文图书1.数理逻辑:证明及其限度.第2版 O141/69=2
馆藏复本：2
可借复本：2 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2020
(0) 馆藏 -
中文图书2.数理逻辑十二讲 O141/68
馆藏复本：2
可借复本：2 宋方敏, 吴骏编著
机械工业出版社 2018
(0) 馆藏 -
中文图书3.数理逻辑与集合论 O141/66
馆藏复本：2
可借复本：2 房元霞, 赵汝木, 盛秀艳编著
科学出版社 2015
(0) 馆藏 -
西文图书4.A course in mathematical logic / O141/B433
馆藏复本：2
可借复本：2 Bell, J.L.
世界图书出版公司, 2015.
(0) 馆藏 -
中文图书5.数理逻辑:基本原理与形式演算.第2版 O141/57=2
馆藏复本：2
可借复本：2 李未著
科学出版社 2014
(0) 馆藏 -
中文图书6.数理逻辑的思想与方法 O141/64
馆藏复本：3
可借复本：3 李娜著
南开大学出版社 2012
(0) 馆藏 -
西文图书7.Introduction to mathematical logic and resolution principle = 数理逻辑引论与归结原理 / 2nd ed. O141/W246=2
馆藏复本：3
可借复本：3 Wang, Guojun.
Science Press, c2009.
(0) 馆藏 -
中文图书8.数理逻辑:基本原理与形式演算 O141/57
馆藏复本：3
可借复本：3 李未著
科学出版社 2008
(0) 馆藏 -
中文图书9.数理逻辑 O141/56
馆藏复本：3
可借复本：3 邢滔滔著
北京大学出版社 2008
(0) 馆藏 -
中文图书10.数理逻辑基础与粒计算 O141/54
馆藏复本：3
可借复本：3 闫林著
科学出版社 2007
(0) 馆藏 -
中文图书11.数理逻辑引论
馆藏复本：0
可借复本：0 朱梧檟，肖奚安编著
大连理工大学出版社 2008-3-1
(0) 馆藏 -
中文图书12.数理逻辑(第2版)
馆藏复本：0
可借复本：0 [美]Herbert B.
人民邮电出版 2007
(0) 馆藏 -
西文图书13.A mathematical introduction to logic = 数理逻辑 / 2nd ed. O141/E56=2
馆藏复本：3
可借复本：3 Enderton, Herbert B.
Posts & Telecom Press, 2006.
(0) 馆藏 -
中文图书14.数理逻辑引论与归结原理.第2版 O141/37=2
馆藏复本：3
可借复本：3 王国俊著
科学出版社 2006
(0) 馆藏 -
中文图书15.数理逻辑的思想和方法
馆藏复本：0
可借复本：0 李娜著
南开大学出版社 2006.4
(0) 馆藏 -
中文图书16.现代逻辑学讲义.数理逻辑.A course in Mathematical logic
馆藏复本：0
可借复本：0 李小五编著
中山大学出版社 2005
(0) 馆藏 -
中文图书17.数理逻辑 O141/48
馆藏复本：3
可借复本：3 毕富生著
高等教育出版社 2004
(0) 馆藏 -
中文图书18.数理逻辑的思想和方法
馆藏复本：0
可借复本：0 李 娜著
南开大学 2005.08
(0) 馆藏 -
中文图书19.数理逻辑.第一版
馆藏复本：0
可借复本：0 毕富生编
高等教育出版社 2004
(0) 馆藏 -
中文图书20.数理逻辑 O141/6
馆藏复本：34
可借复本：7 莫绍揆等著
高等教育出版社 1984
(0) 馆藏
