Fall 2013 MATH 125A 001 LEC

Mathematical Logic
Schedule: 
SectionDays/TimeLocationInstructorCCN
001 LECMWF 3-4P 289 CORYMONTALBAN, A54237
Units/CreditFinal Exam GroupEnrollment
48: TUESDAY, DECEMBER 17, 2013 7-10PLimit:44 Enrolled:38 Waitlist:0 Avail Seats:6 [on 10/27/13]

Note: Enrollment instructions are available at math.berkeley.edu/courses/enrollment-scheduling.

Additional Information: 

Prerequisites: 113 or consent of instructor.

Syllabus: 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: