LNG 3440 Logical Theory

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.

Credits:

3

Hours

3

Offered

Fall-Spring

Cross Listed Courses

LEH PHI 3440/LNG 3440