Instructor: Yiannis N. Moschovakis, MS 6240, ynm@math.ucla.edu, www.math.ucla.edu/~ynm
Teaching Assistant:
Lectures : Monday - Wednesday - Friday, 9:00 - 9:50, online
Discussion Section: Thursday, 9:00 - 9:50, online
Conference Hours of Moschovakis : TBA
Conference Hours of TA : TBA
Requisites: 110A or 131A or Philosophy 135 or consent of the instructor.
Basic information Log of lectures Homework
Lecture Notes.
Part 1, The propositional calculus PL
Part 2, The lower predicate calculus with identity, LPCI. Don't rush me.
Part 3, The theorems of Tarski and Gödel. Don't rush me.