| Д72 |
Драгалин, А. Г.
Математический интуиционизм. Введение в теорию доказательств [Текст] : [монография] / А. Г. Драгалин. – М. : Наука, 1979. – 256 с. – (Математическая логика и основания математики). – 12.00.
Приводится обзор различных концепций интуиционистской математики.
|
