Aug 16, 2018  
2015-2016 General Catalog 
    
2015-2016 General Catalog [ARCHIVED CATALOG]

[Add to Portfolio]

PHIL 4010 Symbolic Logic II (3)


Also offered as LING 4010 . Prereq.: PHIL 2010 /LING 2010  or consent of instructor. Syntax and basic model theory of classical first order logic; soundness and completeness.



[Add to Portfolio]