Publication:3666828
From MaRDI portal
zbMath0518.03009MaRDI QIDQ3666828
Publication date: 1982
03C60: Model-theoretic algebra
03C10: Quantifier elimination, model completeness, and related topics
zbMath0518.03009MaRDI QIDQ3666828
Publication date: 1982
03C60: Model-theoretic algebra
03C10: Quantifier elimination, model completeness, and related topics