返回首页 联系帮助
更多数理化文化科学教育体育文学环境安全生物社会科学经济自然科学航空航天艺术语言文字马列毛邓综合图书其他书籍外文
出版时间：
至
大约有30项符合查询结果项。（搜索耗时：0.0063秒）
为您推荐： 集合论导引提要及习题集 公理集合论导引 公理化集合论 集合论 集合论基础 朴素集合论及习题解答
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与...
全部
数理化(9)
1978年(1)
1981年(1)
1990年(1)
1991年(2)
1994年(1)
1999年(1)
2008年(1)
2011年(1)
