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

0:00:09 1. Теорема о корректности аксиом CL для булевых алгебр 0:04:25 2. Лемма об импликации. Лемма. 0:10:47 3. Пример. Общезначимость 2й аксиомы ...