Лекция 5. Логика I порядка. Общезначимость. Эквивалентность
Лекция из курса:
Лекция 5. Логика I порядка. Общезначимость. Эквивалентность
Предыдущая лекция
4
Лекция 4. Логика I порядка. Синтаксис и семантика
01:14:08
Следующая лекция
6
Лекция 6. Логика I порядка. Выразимость. Изоморфизм
01:01:31