1. ![](/irbis64r_10/images/printer.jpg)
| В12я54 И88
Матиясевич, Ю. В. Исследования по конструктивной математике и математической логике. 4 [Текст] : сборник работ / под. ред. Ю. В. Матиясевича, А. О. Слисенко. - Л. : Наука, 1971. - 294 с. - (Записки научных семинаров ЛОМИ, том 20). - 10.00 р.ББК В12я54 Рубрики: логика основания математики Кл.слова (ненормированные): б-ка Русина -- математическая логика -- конструктивная математика -- непрерывность -- алгорифмические последовательности
Держатели документа: ЯрГУ
ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ Свободных экз. нет Найти похожие
|