MAT3313
Revision as of 15:54, 21 January 2025 by Jose.iovino (talk | contribs)
Catalog description
Prerequisites: Discrete Mathematics MAT3003 or instructor consent
Content: Axiomatizations of propositional logic, axiomatizations of first-order logic, completeness and compactness, structures, compactness and the Henkin method of constructing models by constants, ultraproducts, real-valued logic and applications.
