作者	孙明湘
出版社
出版时间	2004-08-01

特色：

本书对初步、经典的数理逻辑进行了讲述，介绍了命题演算、谓词演算、模态逻辑演算，以及构造性逻辑演算等几方面内容。