Алгорифм машинного поиска естественного логического вывода в

[alex_dorin]

Помогите найти -
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Н.А. Шанин, Г.В. Давыдов, С.Ю. Маслов, Г.Е. Минц , В.П. Оревков, А.О. Слисенко М. - Л., Наука, 1965.

А. Дорин