PHIL370     Symbolic Logic
Semester:Fall 2014
Instructor: Max Bialek
Room:MMH 1304
Meeting Times:MW 11:00am - 11:50am

Prerequisite: PHIL170 or CMSC250; or permission of ARHU-Philosophy department. Credit only granted for: PHIL271, PHIL370, or PHIL371.A review of propositional and predicate logic and related topics and an introduction to the semantics and metatheory of first-order logic.