Save To Worklist

PHIL 320 Logic: Metatheory and Computability

Continuation of PHIL 220. A system of deduction for predicate logic is selected for further study. Completeness of this system and other metatheoretic results are proved. Other topics include computability, recursive function theory, incompleteness and decidability.

This course is eligible for Credit/D/Fail grading. To determine whether you can take this course for Credit/D/Fail grading, visit the Credit/D/Fail website. You must register in the course before you can select the Credit/D/Fail grading option.

Credits: 3

Pre-reqs: PHIL 220.


Status Section Activity Term Interval Days Start Time End Time Comments
PHIL 320 001Lecture2 Mon Wed Fri12:0013:00