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