Fall 2017 MATH 125A 001 LEC

Mathematical Logic
Schedule: 
SectionDays/TimesLocationInstructorClass
001 LECTuTh 03:30PM - 04:59PMEtcheverry 3109Theodore Slaman17214
UnitsEnrollment Status
4Open
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: