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.