4credit(s) A survey of formal syntactic and semantic features of language, including topics such as sentential logic, predicate logic, axiomatic systems and set theory, and nonclassical extensions such as multivalued logics. Also listed as MATH 212. Does not meet Humanities core requirement (2010 catalog). Offered annually.
