TY  - BOOK
TI  - Алгоритм машинного поиска естественного логического вывода в исчислении высказываний
PY  - 1965///
CY  -  Ленинград
PB  -  Наука. [Ленингр. отд-ние]
ER  -