题名:
数理逻辑与集合论   / 石纯一,王家?编著 ,
ISBN:
7-302-04042-7 价格: ¥18.00
语种:
chi
载体形态:
224页 26cm
出版发行:
出版地: 北京 出版社: 清华大学出版社 出版日期: 2000
内容提要:
本书介绍了数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。集合论,包括集合、关系、函数、实数集与基数。 
主题词:
数理逻辑   高等学校
主题词:
集论   高等学校
中图分类法:
O14 版次: 4
主要责任者:
石纯一 编著
主要责任者:
王家? 编著
版次:
2版
索书号:
5