自然演绎逻辑导论
陈晓平/国别：中国大陆
评分 8.9分
本书的第一版没有包括对元理论的讨论，第二版则增加了部分元理论即关于命题逻辑的元理论，而没有包括谓词逻辑和模态逻辑的元理论。关于命题逻辑元理论的讨论并非紧跟命题逻辑的章节之后，而是放在谓词逻辑和模态逻辑的章节之后。因为本书作为逻辑导论教材，并不要求读者对元理论有一个全面的把握，而只是为了给出一个范例，让读者通过此范例而对现代符号逻辑的一个基本特征有所了解，这个基本特征是将语法和语义严格区分开来
