|
Dec 30, 2024
|
|
|
|
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)
|
|