Logic Colloquium
Proceedings of the Herbrand symposium ; Logic colloquium'81, held in Marseille, France, July 1981. - North-Holland Publishing Comp., 1982. - (Studies in Logic; 107).
Logic Colloquium , 1985
Logic colloquium '85. Edited by the Paris Logic Group, CNRS-University Paris VII. Proceedings of the colloquium held in Orsay, France, July 1985. - North-Holland Publishing Comp., 1985. - (Studies in Logic and the Foundations of Mathematics; 122).
Logic Colloquium , 1985
Logic colloquium '85. Orsay. Proceedings of the colloquium held in Orsay, France, july 1985. Edited by the Paris Logic Group. - Elsevier Science Publishers, 1987. - (Studies in Logic and the Foundations of Mathematics; 122).
Logic Colloquium , 1982
Logic colloquium' 82. Proceedings of the Colloquium held in Florence, 23-28 august, 1982. - North-Holland Publishing Comp., 1982. - (Studies in Logic and the Foundations of Mathematics; 112).