Oct 19, 2024  
2016-2017 CSU East Bay Catalog 
    
2016-2017 CSU East Bay Catalog [ARCHIVED CATALOG]

Add to Folder (opens a new window)

MATH 4100 - Mathematical Logic


Units: 4
The propositional calculus and its completeness. Boolean algebras. Functional calculi of various orders. Theorems of Godel and Henkin. Prerequisites: Senior standing in mathematics or consent of instructor.



Add to Folder (opens a new window)