|
| 517.11 | | Ч-43 |
Чень, Ч.
Математическая логика и автоматическое доказательство теорем [Текст] / Ч. Чень, Р. Ли ; пер. с англ.: Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной ; под ред. С. Ю. Маслова. – М. : Наука, 1983. – 358 с. – (Математическая логика и основания математики). – 2,20.
|
| |
|
