Use the Tab and Up, Down arrow keys to select menu items.
For further information see Humanities
This course covers Hilbert-style and natural deduction style (incl sequent calculus) proof systems for propositional logic, and natural-deduction style proof systems for predicate logic, both classical and constructive.
Any 15 points in Philosophy or Mathematics or Computer Science or Linguistics
PHIL225, PHIL247, PHIL347, PHIL309, MATH209, MATH309
MATH209