"Decision method for elementary algebra" - читать интересную книгу автора (Seidenberg A.)