Logic colloquium '88 proceedings of the colloquium, Padova, Italy, August, 22 - 31, 1988 (North-Holland, 1989)