Ferro, R.,
Bonotto, Cinzia,
Valentini, Silvio and
Zanardo, Alberto, eds. 1989.
Logic Colloquium ’88, Proceedings of the Colloquium held in Padova Italy, 22-31 August 1988.
Studies in Logic and the Foundations of Mathematics n. 127. Amsterdam: North-Holland Publishing Co.