Skip to main content
Courses

PHIL-P 505: LOGICAL THEORY I (3 credits)

About

A survey of modern logic consisting of syntactic and semantic (proof-theoretic and model-theoretic) treatments of the propositional and predicate calculi.

Resources