MATH 17390 Logic of Exact Sciences

Topics include the propositional and predicate calculus and methods of mathematical proof. Prerequisites: MATH 17120 and MATH 17215 or consent of instructor. (F)