Workbook for Natural Deduction with MP, MT, HS, DS, Simp, Conj, Add, CD, and Abs in Propositional Logic (Logic Self-Taught Workbooks)