1. Mundici, D. (2011). A compact $$ [0,1]$$ -valued first-order Łukasiewicz logic with identity on Hilbert space, Journal of Logic and Computation, 21(3), 509–525.
2. Horn, R. A., Johnson, C. R. (1990). Matrix analysis. Cambridge, UK: Cambridge University Press (1985). Reprinted.
3. Mishra, B. (1993). Algorithmic Algebra. Texts and Monographs in Computer Science, New York: Springer.
4. Seidenberg, A. (1954). A new decision method for elementary algebra. Annals of Mathematics, 60, 365–374.
5. Tarski, A. (1951). A decision method for elementary algebra and geometry. Berkeley, CA: University of California Press.