Synopses & Reviews
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).
Synopsis
Meant as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy, this two-volume work is written in a user-friendly conversational lecture style that makes it equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques based on formal logic, in the style of Bourbaki. This provides the reader with a solid foundation in set theory, while the inclusion of topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing, will usher the advanced reader to the doorstep of the research literature.
Synopsis
This two-volume set bridges the gap between introductory texts and the research literature.
Synopsis
Meant as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy, this two-volume work is written in a user-friendly conversational lecture style that makes it equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques based on formal logic, in the style of Bourbaki. This provides the reader with a solid foundation in set theory, while the inclusion of topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing, will usher the advanced reader to the doorstep of the research literature.
Synopsis
Provides the reader with a solid foundation in set theory, while the inclusion of topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing, will usher the advanced reader to the doorstep of the research literature.
Table of Contents
v. 1. Mathematical logic -- v. 2. Set theory.