Logic Colloquium'81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 / ed. by J. Stern. (Studies in Logic and the Foundations of Mathematics, 1982)