Lectures in Logic and Set Theory (Cambridge Studies in Advanced Mathematics) 在線電子書 圖書標籤: 集閤論 計算機科學 數理邏輯 數學 CS
發表於2025-01-23
Lectures in Logic and Set Theory (Cambridge Studies in Advanced Mathematics) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025
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).
評分
評分
評分
評分
Lectures in Logic and Set Theory (Cambridge Studies in Advanced Mathematics) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025