Search results
1 day ago · 3 units (fi 6) (EITHER, 3-0-0) Faculty of Arts. A study of sentential logic, including translation, semantics, decision procedures and natural deduction followed by an introduction to predicate logic, concentrating on translation. Note: Not open to students with credit in PHIL 220.
