PHIL 451 Higher-order Logic

Units: 4
Terms Offered: FaSp

Typed and higher-order languages, emphasizing the use of logical methods for system building and applications in contemporary philosophy.
Prerequisite: PHIL 220 and PHIL 350
Instruction Mode: Lecture, Discussion
Grading Option: Letter