Lectures in Logic and Set Theory. Volume 2: Set Theory
Book information
Description
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).
Similar books
Mathematical Logic
2008 · DJVU
Theory of Computation
2012 · DJVU
Discrete Mathematics. A Concise Introduction
2024 · PDF
Discrete Mathematics: A Concise Introduction
2024 · PDF
Computability
2022 · PDF
Computability
2022 · EPUB
Computability
2022 · RAR
Computability
2022 · PDF