Войти
Лекция 4. Логика I порядка. Синтаксис и семантика