Математический интуиционизм Введение в теорию доказательств
Main Author: | Драгалин, Альберт Григорьевич 1941-1998 |
---|---|
Format: | Book |
Language: | Russian |
Published: |
М.
Наука
1979
|
Online Access: | Перейти в каталог НБ ТГУ |
Similar Items
-
Интуиционизм введение
by: Гейтинг, А.
Published: (1965) -
Конструктивная теория доказательств и нестандатрный анализ
by: Драгалин, Альберт Григорьевич 1941-1998
Published: (2003) -
Ф. П. Рамсей и интуиционизм Г. Вейля
by: Суровцев, Валерий Александрович -
Математический анализ введение
by: Майков, Евгений Васильевич
Published: (2000) -
Введение в математический анализ
by: Яненко, Николай Николаевич 1921-1984
Published: (1974)