Apr 19, 2019  
2018-2019 Undergraduate Catalog 
    
2018-2019 Undergraduate Catalog
[Add to Portfolio]

PHIL 406 - Advanced Logic


Topics selected from major results of metalogic, including basic proof theory and model theory, soundness, completeness, the Löwenheim-Skolem theorem, computability, Gödel’s incompleteness theorem, and Church’s theorem.

Prerequisites & Notes
PRQ: PHIL 405 or consent of department.

Credits: 3



[Add to Portfolio]