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

Catalog search


Catalog links

print page

LNG (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: 11/20/2014