Подробное описание документа

   Математическая логика и алгоритмические проблемы: Труды института математики/АН СССР. Сибирское отделение; Отв. редактор Ю. Л. Ершов. Том 12. - 1989. - 184 с.

УДК

510.6 Математическая логика

Предметная рубрика

• Математическая логика

Общее кол-во в фондах

1 экз.

Заказать в читальный зал

Заявка на закупку

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313