Course Description

Philosophy 451 Advanced Topics in Logical Theory

Intensive study of various advanced topics in logical theory. Specimen topics include: set theory, model theory, proof theory, algebraic semantics, decision problems for formal theories, etc.

Prerequisite: Philosophy 322a/b, the former 223b, or the former Philosophy 353a/b. Students with equivalent background may be admitted by permission of the Department.
3 hours.


Academic Calendar
[Table of Contents] [Index]
[Courses by Subject] [Courses by Name] [Awards by Category] [Awards by Name] [Calendar Search]