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

Книга
УДК 510 М34

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

510 М34

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

951907 Кх