Model theory of algebra and arithmetic proceedings - Pacholski L ed.; Conference on Applications of Logic to Algebra and Arithmetic( 1979 : Karpacz,Poland ); Conference on Applications of Logic to Algebra and Arithmetic Karpacz, Poland 1979 (Berlin Springer-Verlag, 1980)
Keywords: Algebra; Algebraic logic; Arithmetics; Model theory