Overview
Philosophy : A course in intermediate logic for graduate students in Philosophy, covering such topics as axiomatic systems, formal semantics, consistency, completeness, the limitative results, intuitionistic logic, formal theories of truth, aspects of the development of logic.
Terms: Winter 2010
Instructors: Hallett, Michael Frank (Winter)