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