Apr 26, 2024  
2012-2013 General Catalog 
    
2012-2013 General Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

PHIL 4010 Symbolic Logic II (3)


Prereq.: PHIL 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)