Mechanization Of Reasoning In A Historical Perspective.(Poznan Studies in the Philosophy of the Sciences and the Humanities 43)