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

Книга
УДК 517 И889

Исследования по конструктивной математике и математической логике. VIII / Акад. наук СССР. Математический ин-т им. В.А. Стеклова. Ленинградское отделение ; ред. Ю. В. Матиясевич, А. О Слисенко. – Л. : Наука, 1979. – 251 с. – (Записки научных семинаров ЛОМИ ; том 88).

517 И889

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

764746 Кх