Fall 2019 MATH 125A 001 LEC
Mathematical Logic
Schedule:
| Section | Days/Times | Location | Instructor | Class |
|---|---|---|---|---|
| 001 LEC | TuTh 02:00PM - 03:29PM | Etcheverry 3109 | Thomas Scanlon | 22692 |
| Units | Enrollment Status |
|---|---|
| 4 | Open |
Additional Information:
Prerequisites: Math 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:
