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