“數理邏輯”的名稱由皮亞諾首先給齣,他又稱其為符號邏輯。數理邏輯在本質上依然是亞裏士多德的邏輯學,但從記號學的觀點來講,它是用抽象代數來記述的。
评分沒想到是英文書
评分連非標準分析都介紹瞭,內容全不全?不僅內容全麵,而且講解易於理解。
评分一些重要結果是:
评分目次:預備知識;數學邏輯基礎;一階邏輯;一階邏輯(連續的);布爾代數;模理論;遞歸理論(連續的);直覺一階邏輯;公理集閤論;非標準分析;一般索引;符號索引。
评分經典教材,經典圖書,建議購買
评分滿減加券一起買的,簡直不能再白菜,開心
评分質量非常好,價格也實惠
评分
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 tushu.tinynews.org All Rights Reserved. 求知書站 版权所有