CS390 - Methods_of_proof - deduction

From Steven Zeil