國(guó)內(nèi)最為經(jīng)典詳實(shí)的數(shù)理邏輯教材。中國(guó)科學(xué)技術(shù)大學(xué)出版社1990年出版。包含命題邏輯、謂詞邏輯、哥德?tīng)柌煌陚湫远ɡ淼葍?nèi)容。 下載后可以通過(guò)Adobe PDF虛擬打印機(jī)打印成PDF文檔。