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 2024
Instructors
Meeting Patterns
Classes Start:
August 19, 2024
Classes End:
December 3, 2024
Location:
02229 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
