University of Toronto
0 documents • ranked by quality and engagement.
This course covers the formal study of mathematical logic, including propositional and predicate calculus, completeness, and consistency.
No documents uploaded to this course yet.