Введение в компьютерную логику (2022). Раздел 6 Исчисление предикатов первого порядка. 29- Связанные и свободные переменные
0%
Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.
