Lectures in Logic and Set Theory

This Two-Volume Work Bridges The Gap Between Introductory Expositions Of Logic (Or Set Theory) And The Research Literature. 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 Lecture Style That Makes Them Equally Effective For Self-Study Or Class Use. Volume I Includes Formal Proof Techniques Applications Of Compactness (Including Nonstandard Analysis) Computability And Its Relation To The Completeness Phenonmenon And The First Presentation Of A Complete Proof Of Godel''S 2Nd Incompleteness Since Hilbert And Bernay''S Grundlagen.