數理邏輯基礎

本書介紹數理邏輯的基礎知識，包括邏輯演算的基本內容. 這些內容構成數理邏輯各個分支（模型論、證明論和構造性數學、遞歸論、集合論）的共同基礎.

《數理邏輯基礎》由科學出版社出版。《數理邏輯基礎》前五章可作為大學本科生的數理邏輯教材，而後五章可向有關專業的研究生講授，《數理邏輯基礎》也可供數學、信息與技術和其他自然科學專業的本科生、研究生和有關科研人員參考。