Skip to main content
Courses

PHIL-P 506: LOGICAL THEORY II (3 credits)

About

A thorough and rigorous survey of essential topics in modern logic consisting of twentieth-century developments in logical research, with special emphasis on: (a) model theory and first-order completeness, (b) incompleteness and un-decidability results of Gödel and Church, and (c) recursive function theory.

Resources