Catalog search

Catalog links

• Catalog home
• Site map
• Alphabetical index

PHI 350: 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: 2/22/2013