A study of the foundations of mathematics and logical reasoning. Topics include propositional calculus, predicate calculus, properties of formal systems, completeness and compactness theorems, Godel’s Incompleteness Theorem, and axiomatic set theory. Some attention will be given to related philosophical issues. Also listed as MATH 310 . Prerequisite: MATH 250 . (Group III)