Enabling javascript will improve the functionality of this page. skip to content
Lehman College

Catalog search


Catalog links

print page

PHI 3440: Logical Theory.

3 hours, 3 credits. General introduction to the theory of formal axiomatic systems, proof of the soundness, completeness, and consistency of some axiomatic systems of logic; decision problems and independence; some topics in the semantics of formalized languages; and many-valued and modal logics.

Last modified: 9/3/2014