检索到 35 条 题名=数理逻辑 的结果
-
中文图书1.数理逻辑引论.第2版 O141/44(2)
馆藏复本：2
可借复本：2 朱梧槚 ... [等] 编著
大连理工大学出版社 2023
(0) 馆藏 -
中文图书2.数理逻辑的思想和方法 O141/7:2
馆藏复本：2
可借复本：1 昂扬编著
上海人民出版社 2024
(0) 馆藏 -
中文图书3.数理逻辑引论:计算机科学与系统的天然基础 O141/43
馆藏复本：1
可借复本：1 刘志明, 裘宗燕编著
科学出版社 2022
(0) 馆藏 -
中文图书4.数理逻辑 O141/41
馆藏复本：2
可借复本：2 孙希文编著
高等教育出版社 2019
(0) 馆藏 -
中文图书5.数理逻辑 O141/33
馆藏复本：2
可借复本：0 (美) 汉密尔顿(Hamilton,A.G.)著
华东师范大学出版社 1986
(0) 馆藏 -
中文图书6.数理逻辑基础 310.1/4147, O141/32
馆藏复本：4
可借复本：1 希尔柏脱(Hilbert,D.), 阿克曼(Ackermann,W.)著
科学出版社 1958
(0) 馆藏 -
中文图书7.数理逻辑导论 O141/35
馆藏复本：1
可借复本：0 莫绍揆著
上海科学技术出版社 1965
(0) 馆藏 -
中文图书8.数理逻辑、集合 O14/14
馆藏复本：4
可借复本：2 邱伟德, 胡美琛编著
人民邮电出版社 1987
(0) 馆藏 -
中文图书9.数理逻辑 O141/14
馆藏复本：5
可借复本：3 胡耀鼎, 张清宇著
中国标准出版社 1985
(0) 馆藏 -
中文图书10.数理逻辑通俗讲话 O141/2
馆藏复本：6
可借复本：3 王浩著
科学出版社 1981
(0) 馆藏 -
中文图书11.数理逻辑引论 O141/6
馆藏复本：5
可借复本：2 王宪钧编著
北京大学出版社 1982
(0) 馆藏 -
中文图书12.数理逻辑引论 O141/34
馆藏复本：2
可借复本：0 马振华编著
清华大学出版社 1983
(0) 馆藏 -
中文图书13.数理逻辑基础.下册 O141/31/V.2
馆藏复本：3
可借复本：0 胡世华，陆钟万著
科学出版社 1982
(0) 馆藏 -
中文图书14.数理逻辑发展史:从莱布尼茨到哥德尔 O141-091/1
馆藏复本：6
可借复本：4 张家龙著
社会科学文献出版社 1993
(0) 馆藏 -
中文图书15.蒯因著作集 B712.59/18
馆藏复本：48
可借复本：36 奎因
中国人民大学出版社 2007
(0) 馆藏 -
中文图书16.数理逻辑:基本原理与形式演算.第2版 O141/29(2)
馆藏复本：2
可借复本：2 李未著
科学出版社 2014
(0) 馆藏 -
中文图书17.数理逻辑的思想与方法 O141/28
馆藏复本：3
可借复本：3 李娜著
南开大学出版社 2012
(0) 馆藏 -
中文图书18.A survey of mathematical logic = 数理逻辑概论 / QA9
馆藏复本：3
可借复本：3 Wang Hao.
Science Press ; [1962]
(0) 馆藏 -
中文图书19.Selected papers of mathematical = 数理逻辑论文选. V. 1, Logic / 510.1/C47
馆藏复本：2
可借复本：2 Church.
s.n., 1958]
(0) 馆藏 -
西文图书20.Introduction to mathematical logic and resolution principle / 2nd ed. O141/WGJ/(2)
馆藏复本：2
可借复本：2 Guo-jun Wang, Hong-jun Zhou.
Science Press, c2009.
(0) 馆藏
