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