Difference between revisions of "MAT4423/MAT5443"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
(Created page with "'''Catalog description''' ''Prerequisites'': MAT 1214 and MAT 3013. ''Content'': Axiomatizations of propositional logic, axiomatizations of first-order logic, completeness...")
 
(→‎Catalog entry: REDIRECITON LINK)
Tag: New redirect
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
'''Catalog description'''
+
#REDIRECT[[MAT5443]]
 
 
''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.
 

Latest revision as of 09:22, 31 March 2023

Redirect to: