TY  - BOOK
AU  - Чень,Ч.
AU  - Ли,Р.
AU  - Маслов,Сергей Юрьевич
TI  - Математическая логика и автоматическое доказательство теорем
T2  - Математическая логика и основания математики
PY  - 1983///
CY  - Москва
PB  - Наука
N1  - Пер. изд.: Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New-York, etc., 1973); В кн. также: Теория поиска вывода и обратный метод / С.Ю. Маслов, Г.Е. Минц. Алгоритм Британского музея может быть эффективнее метода резолюций / В.П. Оревков. О стратегиях метода резолюций и клаш-метода / С.Ю. Маслов; Библиогр.: с. 333-349; Библиогр. в конце гл; Алф. указ.: с. 350-358
ER  -