Подробное описание документа
А. Г. Драгалин
Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин ; ред. В. В. Донченко. - Москва : Наука, 1979. -
А. Г. Драгалин
Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин ; ред. В. В. Донченко. - Москва : Наука, 1979. -