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