Lectures in Logic and Set Theory (Cambridge Studies in Advanced Mathematics) pdf epub mobi txt 電子書 下載2025
出版者:Cambridge University Press
作者:George Tourlakis
出品人:
頁數:592
译者:
出版時間:2003-02-17
價格:USD 95.00
裝幀:Hardcover
isbn號碼:9780521753746
叢書系列:Cambridge Studies in Advanced Mathematics
圖書標籤:
- 集閤論
- 計算機科學
- 數理邏輯
- 數學
- CS
下載連結在頁面底部
Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques provides a solid foundation in set theory and a thorough context for the presentation of advanced topics (such as absoluteness, relative consistency results, two expositions of Godel's construstive universe, numerous ways of viewing recursion and Cohen forcing).
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有