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