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
edited by L. Pacholski, J. Wierzejewski and A.J. Walkie
- Berlin : Springer-Verlag, 1980
- 410p.: ill. ; 24cm
- Lecture notes in mathematics .834 .