Self learning course notes for UCB MATH 125A (Introduction to Mathematical Logic)
Course Instructor: Antonio Montalban [Textbook] [website] [video]
The course mainly includes:
- Sentential Logic
- First Order Logic
The main target of the course is to prove Gödel's Completeness Theorem.