國內(nèi)最為經(jīng)典詳實的數(shù)理邏輯教材。中國科學(xué)技術(shù)大學(xué)出版社1990年出版。包含命題邏輯、謂詞邏輯、哥德爾不完備性定理等內(nèi)容。 下載后可以通過Adobe PDF虛擬打印機打印成PDF文檔。