Course Description
Intermediate level introduction to modern symbolic logic focusing on standard first-order logic; topics include proofs, interpretations, applications and basic metalogical results.
Fall 2025
Meeting Patterns
Classes Start:
August 18, 2025
Classes End:
December 2, 2025
Location:
02225 SAS Hall
Class Days:
M W
Class Start Time:
11:45am
Class End Time:
1:00pm
Class Type:
Lecture
Credits:
3.00
Restrictions:
Prerequisite: LOG 201 or MA 225 or CSC 226