CS245 Lecture 14: Additional rules of formal deduction

33 views2 pages