Lectures in logic and set theory. [EBook] / George Tourlakis. Volume 2, Set theory
Lectures in logic and set theory. [EBook] / George Tourlakis. Volume 2, Set theory
This twovolume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are writ...
Personal Name(s):  Tourlakis, George J., (author) 

Imprint: 
Cambridge :
Cambridge University Press,
2003

Physical Description: 
1 online resource (xv, 575 pages) 
Note: 
englisch 
ISBN: 
9780511615566 9780521753746 9780521168489 
Series Title: 
Cambridge studies in advanced mathematics ;
83 
Subject (LOC):  
Full Text 
This twovolume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a userfriendly conversational lecture style that makes them equally effective for selfstudy or class use. Volume II, on formal (ZFC) set theory, incorporates a selfcontained 'chapter 0' on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced 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. 