检索到 20 条 题名=数理逻辑 的结果
-
中文图书1.数理逻辑:证明及其限度.2版 O141/30-2
馆藏复本：2
可借复本：2 郝兆宽，杨睿之，杨跃著
复旦大学出版社有限公司 2020
(0) 馆藏 -
中文图书2.数理逻辑入门 O141/37
馆藏复本：2
可借复本：1 (美)Raymond M. Smullyan著
中国轻工业出版社 2019
(0) 馆藏 -
中文图书3.数理逻辑是什么 O141/35
馆藏复本：2
可借复本：2 (英)John N. Crossley等著
中国轻工业出版社 2018.12
(0) 馆藏 -
中文图书4.数理逻辑入门 O141/11, O141/DX6
馆藏复本：3
可借复本：2 李锡胤编译
知识出版社 1984
(0) 馆藏 -
中文图书5.数理逻辑:证明及其限度 O141/30
馆藏复本：1
可借复本：1 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2014
(0) 馆藏 -
中文图书6.数理逻辑:基本原理与形式演算.2版 O141/24-2
馆藏复本：2
可借复本：2 李未著
科学出版社 2014
(0) 馆藏 -
中文图书7.数理逻辑 O141/25
馆藏复本：2
可借复本：1 邢滔滔著
北京大学出版社 2008
(0) 馆藏 -
中文图书8.数理逻辑:基本原理与形式演算 O141/24
馆藏复本：2
可借复本：0 李未著
科学出版社 2008
(0) 馆藏 -
中文图书9.数理逻辑.2版 O141/23
馆藏复本：2
可借复本：2 (美)Herbert B.Enderton著
人民邮电出版社 2007
(1) 馆藏 -
中文图书10.数理逻辑、集合 O14/9
馆藏复本：1
可借复本：0 邱伟德, 胡美琛编著
人民邮电出版社 1987
(0) 馆藏 -
中文图书11.数理逻辑 O141/18
馆藏复本：1
可借复本：0 (美)汉密尔顿(Hamilton,A.G.)著
华东师范大学出版社 1986
(0) 馆藏 -
中文图书12.数理逻辑通俗讲话 O141/4
馆藏复本：1
可借复本：0 王浩著
科学出版社 1981
(0) 馆藏 -
中文图书13.数理逻辑与机器证明 O141/9
馆藏复本：0
可借复本：0 陆钟万著
科学出版社 1983
(0) 馆藏 -
中文图书14.数理逻辑基础 O141/5:1
馆藏复本：1
可借复本：0 胡世华, 陆钟万著
科学出版社 1981～1982
(0) 馆藏 -
中文图书15.数理逻辑概貌 O141/19
馆藏复本：0
可借复本：0 莫绍揆著
科学技术文献出版社 1989.3
(0) 馆藏 -
中文图书16.数理逻辑基础 O141/5:2
馆藏复本：1
可借复本：0 胡世华, 陆钟万著
科学出版社 1981～1982
(0) 馆藏 -
中文图书17.数理逻辑 O141/17
馆藏复本：1
可借复本：1 莫绍揆等著
高等教育出版社 1984
(0) 馆藏 -
中文图书18.数理逻辑引论 O141/6
馆藏复本：1
可借复本：0 王宪钧著
北京大学出版社 1982
(0) 馆藏 -
中文图书19.数理逻辑初步 B813/2
馆藏复本：1
可借复本：1 莫绍揆著
上海人民出版社 1980
(0) 馆藏 -
中文图书20.数理逻辑导引 O141/20
馆藏复本：0
可借复本：0 张尚水著
中国社会科学出版社 1990.4
(0) 馆藏
