检索到 32 条 主题词=数理逻辑 的结果
-
中文图书1.数理逻辑和算法理论:计算机科学与人工智能的数学基础 O141/44
馆藏复本：3
可借复本：3 袁相碗编著
中国铁道出版社有限公司 2023
(0) 馆藏 -
中文图书2.罗素的逻辑与哲学探究 B561.54/27
馆藏复本：3
可借复本：3 张家龙著
中国社会科学出版社 2021.08
(0) 馆藏 -
中文图书3.烧脑的逻辑题 O141/42
馆藏复本：3
可借复本：3 (英) 亚历克斯·贝洛斯著
中信出版集团股份有限公司 2021.03
(0) 馆藏 -
中文图书4.数理逻辑:证明及其限度.2版 O141/5
馆藏复本：3
可借复本：3 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2020
(0) 馆藏 -
中文图书5.实用逻辑斯谛回归方法 O141/41
馆藏复本：3
可借复本：3 (美)约瑟夫·M. 西尔贝(Joseph M. Hilbe)著
机械工业出版社 2019
(0) 馆藏 -
中文图书6.Mathematical logic.影印版 O141/40
馆藏复本：2
可借复本：2 H.D. 埃宾豪斯(H.D. Ebbinghaus), J. 弗卢姆(J. Flum), W. 托马斯(W. Thomas)
世界图书出版公司 2019
(0) 馆藏 -
中文图书7.数理逻辑入门 O141/39
馆藏复本：2
可借复本：2 R.M. 斯穆里安(Raymond M. Smullyan)著
中国轻工业出版社 2019
(0) 馆藏 -
中文图书8.数理逻辑导引 O141/36
馆藏复本：1
可借复本：1 冯琦编著
科学出版社 2017.9
(0) 馆藏 -
中文图书9.数理逻辑引论与归结原理.第2版 O141/34-2
馆藏复本：1
可借复本：1 王国俊著
科学出版社 2015
(0) 馆藏 -
中文图书10.数理逻辑基础 O141/32:1, O141/32:2
馆藏复本：2
可借复本：2 胡世华, 陆钟万著
科学出版社 2015
(0) 馆藏 -
中文图书11.非经典数理逻辑与近似推理.2版 O141/31-2
馆藏复本：1
可借复本：1 王国俊著
科学出版社 2008
(0) 馆藏 -
中文图书12.数理逻辑与集合论 O141/30
馆藏复本：3
可借复本：3 房元霞, 赵汝木, 盛秀艳编著
科学出版社 2015
(0) 馆藏 -
中文图书13.符号逻辑:语法、语义和证明 O141/29
馆藏复本：3
可借复本：3 (美) 大卫·W. 安格勒著
科学出版社 2016
(0) 馆藏 -
中文图书14.数理逻辑引论.第2版 O141/27-2
馆藏复本：2
可借复本：2 李涛，张岩，刘峰主编
哈尔滨工业大学出版社 2016
(0) 馆藏 -
中文图书15.米库辛斯基算符演算和积分变换 O141/26
馆藏复本：3
可借复本：3 周之虎编著
安徽大学出版社 2014.02
(0) 馆藏 -
中文图书16.对偶三角模－三角余模逻辑及推理 O141/25
馆藏复本：3
可借复本：3 张兴芳著
科学出版社 2015
(0) 馆藏 -
中文图书17.数理逻辑 O141/24
馆藏复本：3
可借复本：3 张再跃, 张晓如编著
清华大学出版社 2013
(0) 馆藏 -
中文图书18.互逆主义逻辑、数学和它们的应用：英文版 O142/1
馆藏复本：2
可借复本：2 周训伟著
中央编译出版社 2013.03
(0) 馆藏 -
中文图书19.数理哲学导论 O141/20
馆藏复本：3
可借复本：3 晏成书译
商务印书馆 2012
(0) 馆藏 -
中文图书20.麦卡锡函数和阿克曼函数:从一道前南斯拉夫数学奥林匹克试题谈起 O141/21*1
馆藏复本：3
可借复本：3 刘培杰, 康大臣编著
哈尔滨工业大学出版社 2012.8
(0) 馆藏
