iLogic 1.3 Deduction and Induction

iLogic 1.3 Deduction and Induction