History and evolution 1970 1980 1990 2000 2010 Shawn HedmanShawn HedmanShawn HedmanShawn HedmanShawn HedmanShawn Hedman A First Course in Logic Proof theory Branches Natural Deduction proof Natural Deduction proof