数理逻辑、数学基础图书分类

集的故事
131页
集的故事

Vilenkin N.Ya.著;李钟荪译

1979.01

集合与映射初步
139页
集合与映射初步

刘锦萼著

1979.02

符号逻辑基础
267页
符号逻辑基础

宋文淦著

1993.04

数理逻辑基础与应用
212页
数理逻辑基础与应用

赵春高编著

1986.01

数学归纳法在几何中的应用
128页
数学归纳法在几何中的应用

(苏)L·I·格拉维娜 (苏)I·M·雅格洛姆著;姚时宗 童增祥译

1989.11

集与映射
284页
集与映射

李养成编写

1980.01

集与逻辑代数浅谈
94页
集与逻辑代数浅谈

欧阳禄编著

1979.05

数学建模  下
266页
数学建模 下

么焕民等编著

2003.04

数学建模  上
277页
数学建模 上

白凤山等编著

2003.04

数学建模习题解答
195页
数学建模习题解答

沈继红主编

2002

模型与算法
227页
模型与算法

杨浩编著

2002

数学建模简明教程
181页
数学建模简明教程

张兴永编著

2001

大学生数学建模竞赛辅导教材
364页
连续统假设
262页
连续统假设

张锦文,王雪山著

1989.04

大学生数学建模竞赛辅导教材  3
404页
自动推理导论
216页
自动推理导论

邱玉辉,张为群编著

1992.06

数学建模方法
230页
数学建模方法

刘承平主编

2002.07

无穷与集合  订正版
153页
无穷与集合 订正版

黄克宁译

1979.03

集合论讲义
93页
集合论讲义

刘世超,杨兆庆编著

1978.12

可计算性理论导引
156页
可计算性理论导引

李祥编著

1986.10

无穷与集合
153页
无穷与集合

黄克宁译

1968.11

应用非标准分析
239页
应用非标准分析

(美)戴维斯(Davis,M.)著;冯汉桥等译

1989.04

数学归纳法
58页
数学归纳法

(苏)索明斯基(Н.С.Соминский)撰;高彻译

1953.06

集合初步知识
141页
集合初步知识

刘玉翘,陈汉卿编

1980.04

数理逻辑漫谈
80页
数理逻辑漫谈

莫绍揆编著

1980.08

集合论
253页
集合论

方嘉琳编著

1982.04

数学家的逻辑
294页
数学家的逻辑

(英)A·G·哈密尔顿著;骆如枫等译

1989.08

数学归纳法
68页
数学归纳法

(苏)杰朴曼,И.Я.著;吕学礼译

1958.07