Fall 2019 MATH 125A 001 LEC

Mathematical Logic
Schedule: 
SectionDays/TimesLocationInstructorClass
001 LECTuTh 02:00PM - 03:29PMEtcheverry 3109Thomas Scanlon22692
UnitsEnrollment Status
4Closed
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: