逻辑学及其应用研究 第四届全国逻辑系统、智能科学与信息科学学术会议论文集
汪学明主编2009 年出版150 页ISBN：9787541217470
本书是2008年在贵阳召开的第四届全国逻辑系统、智能科学与信息科学学术会议论文集。内容涉及形式逻辑、数理逻辑、法律逻辑、逻辑思维、自然语言理解、机器人涉及、安全协议形式化分析、密码学及其应用等诸...
孙明湘著2004 年出版223 页ISBN：7810619683
本书对初步、经典的数理逻辑进行了讲述，介绍了命题演算、谓词演算、模态逻辑演算，以及构造性逻辑演算等几方面内容。
李小五编著2005 年出版265 页ISBN：7306025880
本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...
郭泽深著2006 年出版247 页ISBN：7500458835
弗雷格是现代逻辑和语言哲学的创始人。本书扣住弗雷格的逻辑主义来研究逻辑哲学思想。
