Course:
Course Number:
Mathematical Logic
201A
Description:
The propositional calculus: truth tables and axiomatizations. First order theories: completeness theorem, formal number theory, Godel's incompleteness theorem. Same as MATH 202.
Prerequisites:
Credits:
MATH 145 or CSC 161
3
Close