Logic and Its Applications

PHIL 350

Topics in proof theory, model theory, and recursion theory; applications to computer science, formal linguistics, mathematics, and philosophy. Usually taught jointly by faculty members from the departments of computer science, mathematics, and philosophy. Prerequisite: PHIL 150 or PHIL 250.

Prerequisites

Prerequisite: PHIL 150 or PHIL 250

Curriculum Codes
  • QC
  • CZ
Cross-Listed As
  • COMPSCI 288
  • MATH 388
Typically Offered
Occasionally