Мы уважаем авторское право каждого человека. И если данная страница:
http://mybiblioteka.su/tom2/7-149810.html - V Пример. Обоснованием утверждения о выводимости |- Ø$xØP(x,y,a)ÉxP(x,y,a) будет:
нарушает ваши права, то вы можете ее удалить самостоятельно.
Для этого в следующее поле введите с маленькой буквы слово "нарушение". А в патчи введите код, который сгенерирован(Внимание! Регистр букв важен!!!). Если все правильно, то страница будет удалена ваши.