View source for MAT4423/MAT5443

← MAT4423/MAT5443

Jump to navigation Jump to search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in one of the groups: Users, Administrators.

You can view and copy the source of this page.

'''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, real-valued logic and applications.

Return to MAT4423/MAT5443.

Retrieved from "https://mathresearch.utsa.edu/wiki/index.php?title=MAT4423/MAT5443"