大拱桥--暨南大学学生门户 » 珠海校区图书馆 » (分类号:O141-43)(共7本)

数理逻辑

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

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

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

数理逻辑与集合论

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

可计算性与数理逻辑

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

数理逻辑

0
索取号:O141-43/7
作者:毕富生、
出版社:北京:高等教育出版社,2004

数学逻辑

0
索取号:O141-43/3
作者:王兵山、张强、李舟军、
出版社:长沙:国防科技大学出版社,1993

数理逻辑与集合论(第二版):精要与题解

0
索取号:O141-43/2:2
作者:王宏、杨明、
出版社:北京:清华大学出版社,2001