PhiL502 -- Mathematical Logic (3 units)
Description: [Taught alternate years 2003 - 2004] Sentential calculus, predicate calculus; consistency, independence, completeness, and the decision problem. Designed to be of interest to majors in mathematics or philosophy. Graduate-level requirements include more extensive problem sets or advanced projects.
Grading: Regular grades are awarded for this course: A B C D E.
Identical to: MATH 502; MATH is home department.
May be convened with: PHIL 402.
Usually offered: Fall.