Nov 27, 2024  
2015-2016 General Catalog 
    
2015-2016 General Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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 (opens a new window)