| 《数理逻辑引论》 王宪钧著。北京大学出版社1982年出版。一部深入浅出的经典逻辑教程。该书对基本概念的讲解通俗易懂，对定理和元定理的证明详尽。该书对形式公理系统的一致性和完全性各给出了三种不同的定义，即古典主义、语义定义和语法定义，对多种摹状词理论的优劣作了比较研究。在《数理逻辑发展简述》篇中，还把17世纪莱布尼茨创立这门学科以来的整个数理逻辑发展史分为“初始”、“奠基”和“发展”三个阶段，勾画了各个时期中有重大影响的观念、方法和学说的演化过程，对主要代表人物和主要学派的学术思想作了精辟的阐述，并提出了独到的见解和评论。 |