Introduction to Mathematical Logic

3 credits · Graduate School

(Also listed as MATH 3310) Development of the first order predicate calculus and fundamental metamathematical notions. No credit for students who have earned credit for 3310. [3]