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.
Prerequisite: ³¢°¿³ÒÌý201 or ²Ñ´¡Ìý225 or °ä³§°äÌý226
GEP Mathematical Sciences
Typically offered in Fall only