Text this: Logic : form and function : the mechanization of deductive reasoning / J. A. Robinson.