Wayne State University
0 documents • ranked by quality and engagement.
This course covers the formal study of logical systems, including propositional and predicate calculus.
No documents uploaded to this course yet.