由陈晓平编著的这本《自然演绎逻辑导论》主要阐述了自然演绎系统的各个逻辑分支，即命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。阅读本书，不要求读者预先具备任何逻辑基础知识，因此，本书不仅适用于大学文科学生的逻辑导论课教材，也适合于广大读者自学。

第三版前言

第二版前言 关于自然演绎逻辑系统

第一版前言

第一章 绪论

第二章 命题逻辑：符号化和真值表

第三章 命题逻辑：推演

第四章 三段论逻辑

第五章 谓词逻辑：基本概念和符号化

第六章 谓词逻辑：解释与推演

第七章 模态逻辑

第八章 命题逻辑的元理论

主要参考文献