Mar 28, 2024  
2017-2018 Catalog 
    
2017-2018 Catalog [ARCHIVED CATALOG]

Add to My Catalog (opens a new window)

PHIL 160: Mathematical Logic


[4 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 . Pass/No Pass option. Discussion included. Cross-Listed with MATH 171 .


View course scheduling information




Add to My Catalog (opens a new window)