Лекция 4. Логика I порядка. Синтаксис и семантика
Лекция из курса:
Предыдущая лекция
![](/img/hd/lecture/2022-03-14-Yavorskaya-1.jpg?7642)
3
Лекция 3. Генценовское исчисление высказываний
01:11:03