1970 1980 1990 2000 2010 Shawn Hedman A First Course in Logic Proof theory شاخهها Natural Deduction proof Natural Deduction proof