Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 (North-Holland, 1989)
Includes bibliographical references