大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑)(分类号：O141)(共270本)

分类依据：参见B815,O211.

可计算性理论

0
索取号：O141.3/20001
作者：杨东屛、李昂生、
出版社：北京 : 科学出版社, 1999

模型论基础

0
索取号：O141.4/871
作者：王世强、
出版社：北京 : 科学出版社, 1987

科技工程中的数学模型

0
索取号：O141.4/891
作者：谌安琦、
出版社：北京 : 中国铁道出版社, 1988.8

数学模型

0
索取号：O141.4/861
作者：近藤次郎、宫荣章、付尚信、靖德权、张春茹、
出版社：北京 : 机械工业出版社, 1985

多值逻辑的理论及应用

0
索取号：O141.3/931
作者：罗铸楷、
出版社：北京 : 科学出版社, 1992.3

数理逻辑基础. 下册

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

数理逻辑概貌

0
索取号：O141/811(4)
作者：莫绍揆、
出版社：北京 : 科学技术文献出版社, 1989.3

数理逻辑基础. 上册

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

数理逻辑导引

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

数理逻辑

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

数理逻辑的思想和方法

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

数学模型

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

可计算性与不可解性

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

数理逻辑

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