Logic colloquium '85 : Proceedings of the colloquium, Orsay, France, July 1985 - Burdman Feferman, Anita (Studies in logic and the foundations of mathematics, 1987)