"A decision method for elementary algebra and geometry" - читать интересную книгу автора (Alfred Tarski)