About MHC
Programs & Admissions
Student Life
Campus Services
Sentential and first-order logic from both deductive and semantic points of view, and some elementary metatheorems are studied in this course.
PHIL 279
3.00