В1
Ч438	Чень, Ч.     Математическая логика и автоматическое доказательство теорем [Текст] = Symbolic logic and Mechanical theorem proving / перевод с англ.: Давідова Г. Д., Минца Г. Е. и Сочилиной А. В.; под ред.: Маслова С. Ю. — Москва : Наука, 1983. — 359 с.