TY - BOOK AU - Pacholski L ed. ED - Conference on Applications of Logic to Algebra and Arithmetic( 1979 : Karpacz,Poland ) ED - Conference on Applications of Logic to Algebra and Arithmetic TI - Model theory of algebra and arithmetic: proceedings U1 - 511.38 PY - 1980/// CY - Berlin PB - Springer-Verlag KW - Algebra KW - Algebraic logic KW - Arithmetics KW - Model theory ER -