Dr. Michael McRobbie: On the Computational Investigation of Logical Space: An ANU Perspective 08 October 1987 Lecture