Lectures in Logic and Set Theory Volume 2

This Two-Volume 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 User-Friendly Conversational Lecture Style That Makes Them Equally Effective For Self-Study Or Class Use. 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 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.