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