Logic Colloquium '85 (Studies in Logic and the Foundations of Mathematics ;, 1987)