MAT 3313
Revision as of 21:44, 24 March 2023 by Jose.iovino (talk | contribs) (Created page with "'''Catalog description''' ''Prerequisites'': MAT 1214 and MAT 3013. ''Content'': Axiomatizations of propositional logic, axiomatizations of first-order logic, completeness...")
Catalog description
Prerequisites: MAT 1214 and MAT 3013.
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 and real-valued logic.
