汪芳庭 数理逻辑

国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。下载后可以通过AdobePDF虚拟打印机打印成PDF文档。

数理逻辑简要版,图文并茂,容易理解

数理逻辑课件，关于计算机方面的知识！值得我们看看，如果可以喔继续上传！

springer出版的S.M.Srivastava的数理逻辑中级教程，比较简明扼要。适合初中级的读者阅读。

数理逻辑的一本教材，内容丰富详实，有深度，是本科期间离散数学教学内容的推进。

译者序 数理逻辑作为基础数学的一个重要分支， 在计算机科学中起着奠基作用， 在模糊数学和 人工智能等方面也都有着广泛的应用， 有关它的教材和参考书有许多. 我们选择Herbert B. Enderto

中大数理逻辑教案-不错的数理逻辑教案。。

Modal logic

高等数理逻辑课件，2018复习资料，utf8面向计算机的数理逻辑电子版

handbookofmodallogic；Introductiontologicforcomputerscience；logicanddiscretemathmaticsforcomputerscie