數理邏輯通俗講話

本書是作者在關於數理邏輯的六次講演的基礎上寫成的．全書共八章並有三個附錄．第一章和第八章是一般性概述．第二章介紹形式系統、謂詞演算和G#del不完全性定理以及不可判定的數學問題．第三章介紹計算機的進展、計算機應用的幾個例子和四色定理的證明．第四章討論問題與解，第五章討論一階邏輯，第六章討論理論的和可實現的計算，第七章討論直線上有多少個點？這些講演一般是互相獨立的，可不必順序閲讀．

本書可供高等學校數學系師生以及有關研究人員參考． ^[2] 

這是美籍學者王浩於1977年10月在中同科學院計算機所作六次演講的基礎上寫成的。全書共有八章和三個附錄：內容涉及數理邏輯的各個分支，與數理邏輯有關的計算機科學的一些理論問題。其中一些內容側重從基礎理論角度論述數理邏輯，有些則是論述數理邏輯的最重要的結果和最新發現。書中還設專節耐數理邏輯發展文獻作了述評。 ^[1]