作者	石纯一
出版社
出版时间	2000-12-01

特色：

本书介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。