自然演绎逻辑导论

目录:

第三版前言
第二版前言关于自然演绎逻辑系统
第一版前言
第一章绪论
第二章命题逻辑：符号化和真值表
第三章命题逻辑：推演
第四章三段论逻辑
第五章谓词逻辑：基本概念和符号化
第六章谓词逻辑：解释与推演
第七章模态逻辑
第八章命题逻辑的元理论
主要参考文献