Конструктивная теория доказательств и нестандартный анализ

Схожие документы

• Математический интуиционизм. Введение в теорию доказательств
  по: Драгалин А. Г. Альберт Григорьевич
  Опубликовано: (Москва, Наука, 1979)
• Математическая логика: пер. с англ.
  по: Клини С. К. Стивен Коул
  Опубликовано: (Москва, Едиториал УРСС, 2005)
• Теория множеств и континуум-гипотеза
  по: Коэн П. Д. Пол Дж.
  Опубликовано: (Москва, Мир, 1969)
• Элементы математической логики
  по: Новиков П. С. Петр Сергеевич
  Опубликовано: (Москва, Наука, 1973)
• Нестандартный анализ и векторные решетки: Монография
  Опубликовано: (Новосибирск, Изд-во Ин-та математики СО РАН, 1999)