LOG 335 - Symbolic Logic

Description
Intermediate level introduction to modern symbolic logic focusing on standard first-order logic; topics include proofs, interpretations, applications and basic metalogical results. Prerequisite: LOG 201 or MA 225 or CSC 226
Credits
3
Recent Professors
Open Seat Checker
Schedule Planner
Recent Semesters
Fall 2019, Fall 2018
Offered
MW
Avg. Class Size
35
Avg. Sections
1