沒說明是英文版的
評分一些重要結果是:
評分目次:預備知識;數學邏輯基礎;一階邏輯;一階邏輯(連續的);布爾代數;模理論;遞歸理論(連續的);直覺一階邏輯;公理集閤論;非標準分析;一般索引;符號索引。
評分Gooooooooooooooooooooooooooooood
評分一些基本結果[編輯]
評分普遍有效的二階公式的集閤甚至不是遞歸可枚舉的。這是哥德爾不完全性定理的一個結果。
評分 評分內容專業,通俗易懂,不錯的數理工具書、、、、、、、、、、、
評分普遍有效的二階公式的集閤甚至不是遞歸可枚舉的。這是哥德爾不完全性定理的一個結果。
本站所有內容均為互聯網搜尋引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 book.cndgn.com All Rights Reserved. 新城书站 版權所有