MATH 5134: Logic Prerequisite: MATH 4231 or equivalent. Propositional and predicate calculus; foundations, computability.