Christopher Lepock
ATS Assistant Lecturer, Faculty of Arts - Philosophy Dept
Contact
ATS Assistant Lecturer, Faculty of Arts - Philosophy Dept
- clepock@ualberta.ca
Courses
PHIL 120 - Symbolic Logic I
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.