CS390 - Methods_of_proof - deduction

From STEVEN ZEIL