Apr 08, 2026  
2004-2005 Graduate Bulletin 
    
2004-2005 Graduate Bulletin [ARCHIVED BULLETIN]

Add to Personal Catalog (opens a new window)

CSC 201A - Mathematical Logic


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

Prerequisites & Notes
MATH 145 or CSC 161. Same as MATH 202.

Credits: 3 s.h.


View Course Offering(s):

Summer Session I 2026

Summer Session II 2026

Summer Session III 2026

Fall 2026




Add to Personal Catalog (opens a new window)