Symbolic Logic

MATH **356 (4)

(Also offered as PHIL 356)

This is a first course in logical theory. Its primary goal is to study the notion of logical entailment and related concepts, such as consistency and contingency. Formal systems are developed to analyze these notions rigorously.

Prerequisites / Corequisites

Course Search:

Keyword Search:

Office of the Registrar

MSC11 6325
1 University of New Mexico
Albuquerque, NM 87131

Phone: (505) 277-8900
Fax: (505) 277-6809