Яворская Т.Л. - Математическая логика - 5. Логика I порядка. Общезначимость. Эквивалентность

0:00:19 1. Сигнатура. Структура сигнатуры. 0:08:09 2. Общезначимость 0:27:54 3. Эквивалентность 0:34:17 4. Основные эквивалентности 0:44:55 5. Примеры 1:02:39 6. Задача Ссылки плейлист: