Mathematical Logic

Graduate / Professional

An introduction to the metatheory of first-order logic, up to and including the completeness theorem for the first-order calculus. An introduction to the basic concepts of set theory is included. MW 1:05pm-2:20pm