Математический интуиционизм : Введение в теорию доказательств /
Драгалин, Альберт Григорьевич
Математический интуиционизм : Введение в теорию доказательств / А.Г. Драгалин. - Москва : Наука. Гл. ред. физ.-мат. лит., 1979. - 256 с. - Математическая логика и основания математики .
01.20
Высшая математика
Математический интуиционизм : Введение в теорию доказательств / А.Г. Драгалин. - Москва : Наука. Гл. ред. физ.-мат. лит., 1979. - 256 с. - Математическая логика и основания математики .
01.20
Высшая математика