Search Results
LOG 335 Symbolic Logic
Intermediate level introduction to modern symbolic logic focusing on standard first-order logic; topics include proofs, interpretations, applications and basic metalogical results.
GEP Mathematical Sciences
Typically offered in Fall only