Conference on Applications of Logic to Algebra and Arithmetic (1979 Karpacz, Poland)

• Model theory of algebra and arithmetic
• Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmethic held at Karpacz, Poland, September 1-7, 1979