PHIL309  Logic B

Not offered 2012

For further information see School of Social and Political Sciences

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.

Pre-requisites

Restrictions

Equivalent Courses