Prerequisites: CS 011/ MATH 011 or CS 120A/EE 120A or CS 150 or PHIL 008 or PHIL 008H or consent of instructor
Description: An introduction to first-order logic, the core of the logic often used in contemporary philosophy, mathematics, computer science, and linguistics.