Книга
104 3733

Чень, Ч.
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли; пер. с англ.: Г. В. Давыдов [и др.]; под ред.: С. Ю. Маслов. – М. : Наука, 1983. – 358 с. – (Математическая логика и основания математики)
Библиогр. в конце гл.

ББК В12

Дисциплины = Природничі науки : Базовый : Математична логіка
Предметні рубрики = Математика : основания математики, математическая логика

1104219 ОФ
1108465 ОФ
1396862 Ф 1 - 10 комн.