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

0:00:09 1. Пропозициональный язык 0:07:57 2. Подформулы 0:15:19 3. Семантика. Оценки 0:18:03 4. Лемма о продолжении оценки 0:23:40 5. Лемма об одно...