MAT 5443
Logic and Computability. (3-0) 3 Credit Hours
University of Texas at San Antonio · UGRD · Fall 2026
1 section
Catalog description
Prerequisite: MAT 1214 and MAT 3013 , or instructor consent. Topics may include: Axiomatizations of propositional and first-order logics, completeness and compactness, structures, compactness, the Henkin method of constructing models by constants, ultraproducts, and real-valued logic and applications. (Same as MAT 3313 . Credit can not be earned for both MAT 3313 and MAT 5443 ). This course has Differential Tuition. Course Fee: GS01 $90.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #texas_san_antonio-3684Fall 2026UGRD
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?