A decision method for elementary algebra and geometry /
Tarski, Alfred.
McKinsey, J. C. C.
Berkeley, 
1951.