MATHÂ 430. Formal Logic I. 3 or 4 hours.
First order logic, syntax and semantics, completeness-incompleteness. Course Information: 3 undergraduate hours. 4 graduate hours. Credit is not given for MATH 430 if the student has credit for PHIL 416. Prerequisite(s): Grade of C or better in CS 202 or grade of C or better in MCS 261 or grade of C or better in MATH 215.