数理逻辑经典(包含多个文件)

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：ComputabilityandLogic5thEdition；BasicPapersonUndecidablePropositions,Unso

在数理逻辑中,要确保推理的正确性,首先应保证写出的前提条件是正确的.在将命题符号化时,逻辑联结词的正确使用最为关键.而其中最容易出错的是蕴涵联结词.本文对蕴涵联结词及其相关的一些符号进行了较为深刻的分

哈工大数理逻辑讲义，页数很少，也就是比较简练，希望有人需要它；

高级数理逻辑第四章：谓词演算和一阶逻辑，一阶逻辑谓词

高级数理逻辑的第一章，介绍了高级数理逻辑的发展，及相关应用~

很 有用的。。。。介绍的 蛮透的.。。。。。。。。。。。。。。。。。。。。。。。。

哈工大数理逻辑的历年考试题，一共三套，提供给学弟学妹们复习使用。

北京大学王捍贫老师2012-2013年的数理逻辑上课讲义，网络上有配套的视频

本书是国防科大王兵山主编的一本1993年版本的数理逻辑，如果有考博需要可以下载哦！

数理逻辑.H.B.Enderton中文版