Jun 20, 2018  
2014-2015 Catalog 
    
2014-2015 Catalog [ARCHIVED CATALOG]

[Add to My Catalog]

PHIL 160: Mathematical Logic


[4.0 units]

Introduction to the meta-theory of first-order logic. Topics include the consistency, compactness, completeness and soundness proofs for propositional and first-order logic; model theory; the axiomatization of number theory; Gödel’s incompleteness theorems and related results.

Prerequisite: PHIL 005  or consent of instructor. Discussion included.


Spring 2018 course scheduling information

Summer 2018 course scheduling information

Fall 2018 course scheduling information




[Add to My Catalog]