Find a university to explore its courses and reviews.
Introduction to symbolic logic, propositional and predicate calculus, validity, soundness, and methods of formal proof.
No one has reviewed this course yet. Share your experience and help future students know what to expect.
Takes about 2 minutes. Every review is anonymous — no account needed.