University of British Columbia
0 documents • ranked by quality and engagement.
This course covers the formal systems of logic, including propositional and predicate calculus.
No documents uploaded to this course yet.