Электронный каталог: Тезаурус - Рубрика: умозаключение, логический вывод, понятие логического следования