About the Program

Certificate in mathematical logic covering propositional logic, first-order logic with identity, important metamathematical results about propositional logic and first-order logic with identity, and set theory.

About the Philosophy Department

B221 Buckham Hall
1300 Elmwood Ave
Buffalo, NY 14222
Phone: (716) 878-5136
Fax: (716) 878-4697
https://philosophy.buffalostate.edu/

Program Requirements

Required Courses (12 cr hrs)
PHI 107 INTRODUCTION TO MATHEMATICAL LOGIC 3
PHI 307 SYMBOLIC LOGIC 3
MAT 430 SET THEORY 3
MAT 431 MATHEMATICAL LOGIC 3

Total Credit Hours 12