CAS MA 531 Mathematical Logic Boston University
The syntax and semantics of sentential and quantificational logic, culminating in the Gödel Completeness Theorem. The Gödel Incompleteness Theorem and its ramifications for computability and philosophy. Also offered as CAS PH 461.
CAS MA 531 Mathematical Logic Boston University, CAS MA 531, CAS, CAS MA 531 Entire Course, CAS MA 531 Entire Class, CAS MA 531 Complete Course, CAS MA 531 Complete Class