PHIL209

Logic B

15 points

Not offered 2018

For further information see Humanities

Description

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.

Prerequisites

Any 15 points in Philosophy or Mathematics or Computer Science or Linguistics

Restrictions

PHIL225, PHIL247, PHIL347, PHIL309, MATH209, MATH309

Equivalent Courses

MATH209