Формальные и неформальные методы логического вывода заключений из посылок, включая прямой и обратный вывод.
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.