Logic Colloquium '87 : Studies in Logic and the Foundations of Mathematics (Elsevier Science Publishers, 1989)