Лекция 3. Генценовское исчисление высказываний
Лекция из курса:
Предыдущая лекция
2
Лекция 2. Дизъюнктивная нормальная форма
01:03:22
Следующая лекция
4
Лекция 4. Логика I порядка. Синтаксис и семантика
01:14:08