Intermediate-level course covering proof techniques for classical, first-order predicate calculus, and an introduction to meta-theory. Pre: 110 or any course 200 or above in ICS or MATH; or consent.