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