Prerequisites: CS 120A/EE 120A or CS 150 or MATH 112 or PHIL 008 or PHIL 008H or con- sent of instructor
Description: An introduction to first-order logic, the core of the logic often used in contemporary phi- losophy, mathematics, computer science, and linguis- tics.