Лекция 5. Логика I порядка. Общезначимость. Эквивалентность
Лекция из курса:
Предыдущая лекция
![](/img/hd/lecture/2022-04-18-Yavorskaya-1.jpg?7747)
4
Лекция 4. Логика I порядка. Синтаксис и семантика
01:14:08
Следующая лекция
![](/img/hd/lecture/2022-04-25-Yavorskaya-1.jpg?7749)
6
Лекция 6. Логика I порядка. Выразимость. Изоморфизм
01:01:31