"Об одном базисе операторов и предикатов с неразрешимой проблемой пустоты" - читать интересную книгу автора (Петросян В.)