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