A decision method for elementary algebra and geoemtry - Tarski, Alfred (Berkeley University Of California Press, 1951)
University Microfilms Reprrint
Keywords: Algebra, Abstract; Geometry; Logic, Symbolic And Mathematical