Review: Alfred Tarski, A decision method for elementary algebra and geometry