宋方敏 吳駿
本書介紹數理邏輯的基礎知識和基本理論，主要講授命題演算和謂詞演算。通過本課程的學習，學生將掌握相關的基本概念、基本理論、基本推理，以及公理系統和形式化方法。數理邏輯是以公理系統和數學證明爲研究對象的數學分支，對信息科學與技術的發展具有指導作用。本課程爲計算機科學的基礎，對培養學生的素養以及提高解決問題的能力有重要的意義。
李未.數理邏輯：基本原理與形式演算[M].2版.北京：科學出版社，2014.
