Pacholski_Leszek.
Logic Colloquium '77 :proceedings of the colloquium held in Wroclpaw, August 1977
Model theory of algebra and arithmetic :proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979