Bücher von George (York University Tourlakis

This work provides the reader with a solid foundation in set theory, while the inclusion of topics such as absoluteness, 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.

This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.