COURSE OBJECTIVE: The course will cover the following topics: basic Set Theory, First 
Order Logic, Completeness and Compactness Theorems, Basic notions from Model Theory, 
Inompleteness Theorems, and Basic notions from Recursion Theory. If we have time left,
we will go over basic facts on the Constructible Universe L and prove the consistency of the
Axiom of Choice and the Generalized Continuum Hypothesis relative to ZF.

TEXT: There is no good text (as far as I am aware) that would cover all above topics. One 
may use several texts such as: Enderton: Mathematical Introduction to Logic, Kunen: Set 
Theory, Jech: Set Theory, Chang-Keisler: Model Theory, Rogers:  Theory of recursive
functions and effective computability, Lindstrom: Aspects of Incompleteness.
   As this may be confusing and time confusing, I will distribute notes based on D. A. Martin
course on logic at UCLA. I will follow the notes to some extent, but do some additional
material as well.