Yahoo India Web Search

Sign In

Search results

  1. apps.ualberta.ca › catalogue › coursePHIL 120 - Symbolic Logic I - Catalogue@UAlberta.ca

    3 days ago · 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. Previous term.