Difference between revisions of "MAT3313"
Jump to navigation
Jump to search
(Renamed page to remove space.) |
(No difference)
|
Revision as of 12:44, 25 March 2023
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.