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