Электронный каталог

Книга
УДК 51 Ч-438

Чень, Ч.
Математическая логика и автоматическое доказательство теорем : пер. с англ. / Ч. Чень, Р. Ли . – М. : Наука, 1983 . – 358 с. – (Математическая логика и основания математики) .

51 Ч-438

Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : основания математики и математическая логика

817073 Кх