Mathematics 114L, Mathematical Logic, Spring 2021

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

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

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.