Електронний каталог: Тезаурус - Рубрика: логіка відношень, логіка включення, числення функцій, числення ієрархій, функції з багатьма змінними