Email Record: Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 / edited by R. Ferro [and others].