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

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

• Конструктивная теория доказательств и нестандатрный анализ
  по: Драгалин, Альберт Григорьевич 1941-1998
  Публикация: (2003)
• Исследования по конструктивной математике и математической логике Сборник
  Публикация: (1995)
• О поле нестандартных вещественных чисел
  по: Пестов, Герман Гаврилович 1932-2015
• Справочная книга по математической логике В 4-х ч. Пер. с англ.
  Публикация: (1983)
• Основания математики. Теория доказательств: научное издание/
  по: Гильберт, Д. Давид, et al.
  Публикация: (1982)