Niestety, nie mamy żadnych innych wydań książki Mechanization of Reasoning in a Historical Perspective.