Mar 29, 2024  
2016-2017 Graduate Catalog 
    
2016-2017 Graduate Catalog [NOTE!!!! THIS IS AN ARCHIVED CATALOG. FOR THE CURRENT CATALOG, GO TO CATALOG.NIU.EDU]

PHIL 506 - 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 505 and consent of department.

Credits: 3