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

Add to Portfolio (opens a new window)

PHIL 2010 Symbolic Logic I (3)


This is a General Education course. Classical propositional and first-order predicate logic; syntax and semantics of formal languages; translation between formal languages and English; formal methods of proof.



Add to Portfolio (opens a new window)