Mechanization Of Reasoning In A Historical Perspective.