Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Преобразование формул

0:00:09 1. Продолжение доказательства лемм 9.7 и 9.8 из прошлой лекции 0:44:45 2. Формула с тесными отрицаниями 0:48:02 3. Лемма о равносильности л...