Introduction to Logic

The course focuses on formal logic, covering the propositional calculus, the predicate calculus with identity, and some meta-logical results. 

Semester: 
Yearly
Offered: 
2021