| |
Dec 08, 2025
|
|
|
|
|
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
|
|
You must be logged in to post a comment.