Электронный каталог

Книга
51 Д721

Драгалин, Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ : [Сб.] / А.Г.Драгалин. – М. : УРСС, 2003. – 543с. – Часть текста англ. – Библиогр.:с.219-230. – Библиогр.в конце ст. – Библиогр.тр.А.Г.Драгалина:с.520-525. – На рус. яз. – ISBN 5-354-00387-3 : 247.39.

ББК 22.12
ББК 22.1д(2)6

основной = математика
основной = математика : философия математики
основной = математика : основания математики
основной = математика : математическая логика
основной = философия : логика : традиционная логика : теория аргументации : теория доказательств
основной = математика : математическая логика : интуиционизм
основной = математический интуиционизм
основной = математика : математическая логика : конструктивная математика
основной = философия : логика : неклассическая логика : интуиционистская логика
основной = нестандартный анализ
основной = математика : история математики
основной = персоналии
основной = математика : история математики : российские математики
основной = воспоминания
основной = 20 век

00000000728472 МАТН 51 Д721
00000000728473 МАТН 51 Д721