University of Connecticut
0 documents • ranked by quality and engagement.
This course explores the formal study of logical systems, including propositional and predicate logic, proofs, and consistency.
No documents uploaded to this course yet.