
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...

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...