Mathematics 114L, Mathematical Logic, Spring 2017

Instructor: Yiannis N. Moschovakis, MS 6240,,
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.