大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 m.100.数理逻辑 的图书(共335本)

数理逻辑

9.6
索取号:O141/921
作者:汪芳庭、
出版社:合肥 : 中国科学技术大学出版社, 1990.9

清代詩文集彙編. 100-101

9.2
索取号:I214.91/20113/(第9排A)
作者:纪宝成、紀寶成、
出版社:上海 : 上海古籍出版社, 2010

哥德尔证明 / (美) 欧内斯特·内格尔, 詹姆士·R·纽曼著

9.2
索取号:O141/20091
作者:内格尔、纽曼、陈东威、连永君、
出版社:北京 : 中国人民大学出版社, 2008

符号逻辑讲义

9
索取号:O141/20103
作者:徐明、
出版社:武汉 : 武汉大学出版社, 2008

蒯因著作集

9
索取号:B712.59/20076
作者:奎因、涂纪亮、陈波、
出版社:北京 : 中国人民大学出版社, 2007

西方经典英汉提要. 卷三. , 中世纪经典100部 : 650年到1450年 / (奥) 雷立柏著. Volume Ⅲ. , 100 classics of the middle ages

8.9
索取号:Z835/20101/3
作者:雷立柏、
出版社:北京 : 世界图书出版公司, 2010

基督教传统. 卷一. , 大公教的形成 / (美) 帕利坎著. volume 1. , The emergence of the catholic tradition (100-600)

8.9
索取号:B979/20092/1
作者:佩利坎、翁绍军、
出版社:上海 : 华东师范大学出版社, 2009

大师镜头. 第二卷. , 拍出一流对话场景的100个高级技巧. Volume 2. , 100 ways to shoot greatdialoguescenes

8.8
索取号:J93/20113..2/2
作者:肯沃西、魏俊彦、
出版社:北京 : 电子工业出版社, 2013

数学基础 [电子资源]

8.8
索取号:
作者:
出版社:, 2001

哥德尔

8.8
索取号:B712.59/20085
作者:王浩、康宏逵、
出版社:上海 : 上海译文出版社, 2002

数理逻辑 : 基本原理与形式演算

8.7
索取号:O141/20082
作者:李未、
出版社:北京 : 科学出版社, 2008

逻辑与演绎科学方法论导论

8.7
索取号:162874
作者:塔尔斯基、周礼全、
出版社:北京 : 商务印书馆, 1989

苹果核里的桃先生 [电子资源]

8.6
索取号:
作者:
出版社:, 2003

算术基础 [电子资源]

8.6
索取号:
作者:
出版社:, 1998

PPT演义 : 100%幻灯片设计密码

8.6
索取号:TP391.41/2009276.2
作者:陈魁、
出版社:北京 : 电子工业出版社, 2011

公理集合论导引

8.6
索取号:O144/921
作者:
出版社:北京 : 科学出版社, 1991
最近添加的分类