大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 搜索包含 数理逻辑 的图书(共34本)

弗雷格哲学论著选辑

9.3
索取号:B516.59/9:2
作者:弗雷格、王路、
出版社:北京:商务印书馆,2006

数学基础

8.8
索取号:O143-43/2
作者:汪芳庭、
出版社:北京:科学出版社,2001

算术基础:对于数这个概念的一种逻辑数学的研究

8.6
索取号:O1-0/8
作者:弗雷格、王路、
出版社:北京:商务印书馆,1998

20世纪七大思想家自述

8.5
索取号:B151/3
作者:斯蒂尔、田毅松、赵正国、
出版社:上海:上海人民出版社,2004

数理哲学导论

8.5
索取号:O141/6
作者:罗素、晏成书、
出版社:北京:商务印书馆,1982

数理逻辑

8.2
索取号:O141-43/6
作者:恩德托恩、沈复兴、陈磊、
出版社:北京:人民邮电出版社,2007

数理逻辑基础:一阶逻辑与一阶理论

7.4
索取号:O141-43/4
作者:陈慕泽、余俊伟、
出版社:北京:中国人民大学出版社,2003

逻辑学

7.4
索取号:B812/3
作者:宋文坚、
出版社:北京:人民出版社,1998

数理逻辑与集合论

6.5
索取号:O141-43/1
作者:石纯一、王家〓、
出版社:北京:清华大学出版社,2000..

面向计算机科学的数理逻辑(第二版)

6.5
索取号:O141/4:2
作者:陆钟万、
出版社:北京:科学出版社,2002

谢弗函数研究

0
索取号:O141/10
作者:刘新文、
出版社:广州:暨南大学出版社,2011

数理逻辑基础与粒计算

0
索取号:O141/9
作者:闫林、
出版社:北京:科学出版社,2007

非经典数理逻辑与近似推理

0
索取号:O141/2:2
作者:王国俊、
出版社:北京:科学出版社,2008

半符号逻辑:传统逻辑与符号逻辑的桥梁

0
索取号:O141/8
作者:张霭珠、
出版社:上海:复旦大学出版社,2004

数理逻辑引论与归结原理

0
索取号:O141/2b:2
作者:王国俊、
出版社:北京:科学出版社,2006

可计算性与数理逻辑

0
索取号:O141-43/5
作者:布勒斯、伯吉斯、杰弗里、何自强、
出版社:北京:电子工业出版社,2005
最近添加的分类