**Instructor**: Yiannis N. Moschovakis, MS 6240, ynm@math.ucla.edu, www.math.ucla.edu/~ynm

**Teaching Assistant**:

**Lectures**: Monday - Wednesday - Friday, 10:00 - 10:50, MS 5127

**Discussion Section**: Tuesday, 10:00 - 10:50, MS 5127

**Conference Hours of Moschovakis**: M-W-F 11:00 - 12:00

and by appointment (talk to me or email me)

**Conference Hours of TA**

Requisites: 110A or 131A or Philosophy 135 or consent of the instructor.

**Visit this page often for Homework assignments, the log of lectures, etc.**

**Basic information**

**Log of lectures**

**Homework**

The

**Lecture Notes**.

Part 1,

**The propositional calculus PL**.

Part 2,

**The lower predicate calculus with identity, LPCI**.

Part 3,

**The theorems of Tarski and Gödel**.