CS245 Lecture 13: Formal Deduction and Peano Arithmetic

38 views2 pages