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