PHIL309

Logic B

15 points

Not offered 2017

For further information see Humanities

Description

This course covers Hilbert-style and natural-deduction style (including sequent calculus) proof systems for propositional logic, and natural-deduction style proof system for predicate logic, both classical and constructive.

Prerequisites

Restrictions

PHIL225, PHIL247, PHIL347, PHIL209, MATH209, MATH309

Equivalent Courses

MATH309