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).