|
|
Глушков В.М./ВА559
Драгалин, Альберт Григорьевич.
Математический интуиционизм. Введение в теорию доказательств [Текст] / А. Г. Драгалин. - М. : Наука, 1979. - 256 с. - (Математическая логика и основания математики). - Бібліогр.: с. 240-250. - 6700 прим.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
|