Find a university to explore its courses and reviews.
Introduction to symbolic logic, propositional and predicate calculus, validity, soundness, and methods of formal proof.
Be the first to review this course!