LOGIC/ITS APPLICATIONS

MATH388.01

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. Instructor: Staff

Instructor
VAKARELOV, ORLIN
Time/Location
MW 8:30am-9:45am
West Duke 204