Logic. Form and function. The mechanization of deductive reasoning - Robinson, John Alan (University Press, 1979)