Difference between revisions of "MAT 3313"

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...")
 
(Blanked the page)
Tag: Blanking
 
Line 1: Line 1:
'''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.
 

Latest revision as of 17:25, 25 March 2023