Cambridge Studies in Advanced Mathematics, Volume 83: Lectures in Logic and Set Theory, Volume 2: Set Theory

Cambridge Studies in Advanced Mathematics #83

by George Tourlakis, George Tourlakis

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

592 pages, Kindle Edition

First published February 12, 1999

Reviews

[Shubham Kumar · Rating 5 out of 5]

One of the best introductory book on mathematical logic.