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 PHIL 371 . Prerequisite: MATH 250 . (Group II)