Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. E. ARTIN, Geometric algebra, Interscience pub. New-York, 1957.
2. J. BARWISE (ed.), Handbook of Mathematical Logic, North Holland (1977).
3. Ch. BERLINE, rings which admit elimination of quantifiers, J. Symbolic Logic 46 (1980), 56–58.
4. M. BOFFA, A. MACINTYRE and F. POINT, The quantifier elimination problem for rings without nilpotent elements and for semisimple rings, Proc. of the Conference on Application of Logic to Algebra and Arithmetic Held at Bierutowice-Karpacz, Lecture Notes in Maths no834, Springer-Verlag (1980), 20.
5. M. BOFFA, Elimination des quantificateurs en algèbre, Bull. Soc. Math. Belg. (série B), 32 (1980), p. 107–133.