QR-код документа
>22.12
Д72
Драгалин, А. Г.
Математический интуиционизм [Электронный ресурс] = Введение в теорию доказательств : научное издание / А. Г. Драгалин. - М. : [б. и.], 1979. - 3 ,26Мб. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математический интуиционизм -- интуиция -- CD -- аналитика -- семантика -- рекурсивные функции -- негатив -- результат -- рекурсивный анализ
Похожие издания по классификации