Mathematical Logic

MATH335 (Liberal Arts) Mathematical Logic 4 hrs. 4 crs. Introduction to mathematical logic, propositional logic, first order logic, proof systems, introduction to model theory. Preq: MATH 122. 4 hours lecture.

Document Actions