數理邏輯[恩德滕著圖書]

數理邏輯[恩德滕著圖書]

《數理邏輯》是2006年人民郵電出版社出版的圖書，作者是恩德滕。書中涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內容，並且包含了與計算機科學...