Lectures in Logic and Set Theory (Cambridge Studies in Advanced Mathematics) 在线电子书 图书标签: 集合论 计算机科学 数理逻辑 数学 CS
发表于2024-11-05
Lectures in Logic and Set Theory (Cambridge Studies in Advanced Mathematics) 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
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 下载 2024