MAT3313

Catalog description

Prerequisites: Discrete Mathematics MAT3003 or instructor consent

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.

Sample textbook

[1] David Cohen, An Introduction to Hilbert Space and Quantum Logic, Springer. Freely available to UTSA students.