Mathematical Logic

Undergraduate

An introduction to the metatheory of first-order logic, up to and including the completeness theorem for the first-order calculus. Introduction to the basic concepts of set theory. Prerequisite: PHIL 1115 or permission of instructor. QR MW 1:05pm-2:20pm