Apr 19, 2024  
2007-2008 Graduate Studies Bulletin 
    
2007-2008 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.

Prerequisites & Course Notes
MATH 145 or 171.





Add to Personal Catalog (opens a new window)