Fall 2018 MATH 125A 001 LEC

Mathematical Logic
Schedule: 
SectionDays/TimesLocationInstructorClass
001 LECTuTh 03:30PM - 04:59PMCory 241Theodore Slaman22463
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: