数理逻辑学习和使用分为CS向Math向和Philosophy向 1. CS向 入门 离散数学教材的的集合论数理逻辑部分 可计算理论教材的图灵机自动机递归论部分 Logic for applications，Anil Nerode， Richard A. Shore作者是真.数理逻辑大牛 Logic in Computer Science - Modeling and Reasoning about Systems，Michael Huth，Mark Ryan。非常好懂，另外介绍了Hoare逻辑程序验证的话题。应用 CS和逻辑相关的大概有：人工
有哪些值得推荐的学习数理逻辑的书籍？