Fall 2022 MATH 125A 001 LEC
Mathematical Logic
Schedule:
| Section | Days/Times | Location | Instructor | Class |
|---|---|---|---|---|
| 001 LEC | TuTh 05:00PM - 06:29PM | Etcheverry 3107 | Gabriel T Goldberg | 22023 |
| Units | Enrollment Status | Session |
|---|---|---|
| 4 | Open | 2022 Fall, August 24 - December 09 |
Additional Information:
Prerequisites Math 104 and 113 or consent of instructor
Description Sentential and quantificational logic. Formal grammar, semantical interpretation, formal deduction, and their interrelation. Applications to formalized mathematical theories. Selected topics from model theory or proof theory.
Office
Office Hours
Required Text
Recommended Reading
Grading
Homework
Course Webpage
