Fall 2016 MATH 125A 001 LEC

Mathematical Logic
Schedule: 
SectionDays/TimesLocationInstructorClass
001 LECTuTh 3:30PM - 4:59PMBechtel 240Pierre Simon19089
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: Letter grade. Final exam required.

Homework: 

Course Webpage: