"Алгоритм Тарского" - читать интересную книгу автора (Матиясевич Ю.В.)