|
题名:
|
集论与逻辑 / 沈恩绍著 , |
|
ISBN:
|
7-03-011047-1 价格： CNY18.00 |
|
语种:
|
chi |
|
载体形态:
|
10,198页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2003 |
|
内容提要:
|
本书由基础集论与经典(一阶)逻辑两部分内容组成。集论部分的范围与常规教材大体相似，区别在于相关内容的展开方式与深度；逻辑部分包括通常在研究生课程中才介绍的完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。 |
|
主题词:
|
集论 高等学校 |
|
主题词:
|
数理逻辑 高等学校 |
|
中图分类法:
|
O144-43 版次： 4 |
|
其它题名:
|
面向计算机科学 |
|
主要责任者:
|
沈恩绍 著 |
|
附注:
|
21世纪高等院校教材 |
|
索书号:
|
6 |