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
MSC 11 6325
1 University of New Mexico
Albuquerque, NM 87131
Phone: (505) 277-8900
Fax: (505) 277-6809
studentinfo.unm.edu