万千教育.数理逻辑入门
（美）雷蒙德·M.斯穆里安（Raymond M. Smullyan）
评分 4.6分
作为一位终生思考如何以最好的方式表达数理逻辑问题的学者，作者在本书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表，使得本书非常适合作为数理逻辑入门教材。
除了学者的身份，作者还是一位趣味谜题专家，致力于面向普通读者写作，将深奥
