大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑-数学基础(分类号：O14)(共382本)

数理逻辑基础. 上册

0
索取号：O141/812/1
作者：胡世华、陆钟万、
出版社：北京 : 科学出版社, 1981～1982

非标准分析

0
索取号：O14/801
作者：鲁滨逊、A.、申又枨、
出版社：北京 : 科学出版社, 1980

集合论导引

0
索取号：O144/922
作者：朱梧Ł̓、肖奚安、
出版社：南京 : 南京大学出版社, 1991.2

基础集合论

0
索取号：O144/891
作者：董延̊{31}ADONG YAN ̊{31}4编写、
出版社：北京 : 北京师范大学出版社, 1988.11

集合论导引

0
索取号：O144/901
作者：耿素云、屈婉玲、
出版社：北京 : 北京大学出版社, 1990.2

超穷数与超穷论法

0
索取号：O144/791
作者：谢邦杰、
出版社：长春 : 吉林人民出版社, 1979

数理逻辑导引

0
索取号：O141/903
作者：
出版社：北京 : 中国社会科学出版社, 1990

数理逻辑

0
索取号：O141/911
作者：俞瑞钊、
出版社：杭州 : 浙江大学出版社, 1990.11

抽屉原则与涂色问题

0
索取号：O14/812
作者：周士藩、
出版社：南京 : 江苏人民出版社, 1981

数理逻辑的思想和方法

0
索取号：O141/922
作者：
出版社：上海 : 复旦大学出版社, 1991

数理和应用逻辑文集 : proceedings of Chinese conference on Pure and Applied Logic, Beijing, 1992

0
索取号：O14-53/941
作者：
出版社：北京 : 北京大学出版社, 1992

数学模型

0
索取号：O141.4/881
作者：任善强、
出版社：重庆 : 重庆大学出版社, 1987.7

可计算性与不可解性

0
索取号：O141.3/851
作者：戴维斯、M.、沈泓、
出版社：北京 : 北京大学出版社, 1984

数理逻辑

0
索取号：O141/873
作者：汉密尔顿、A.G.、朱水林、
出版社：上海 : 华东师范大学出版社, 1986