Normal view
MARC view
Teoría de modelos Congresos y asambleas (Topical Term)
Machine generated authority record
Work cat.: (AT-ISTA): Conference on Applications of Logic to Algebra and Arithmetic (1979 : Karpacz, Poland) 76479, Model theory of algebra and arithmetic :, 1980.