Jun 12, 2025  
2022-2023 Graduate Studies Bulletin 
    
2022-2023 Graduate Studies Bulletin [ARCHIVED BULLETIN] Add to Personal Catalog (opens a new window)

MATH 202 - Mathematical Logic


Semester Hours: 3
Periodically
The propositional calculus: truth tables and axiomatizations. First order theories: completeness theorem, formal number theory, Gödel incompleteness theorem.

Prerequisite(s)/Course Notes:
MATH 145 or 171.


View Course Offering(s):

Summer I 2025

Summer II 2025

Summer III 2025

Fall 2025




Add to Personal Catalog (opens a new window)