Author ' s personal copy JACQUES HERBRAND : LIFE , LOGIC , AND AUTOMATED DEDUCTION