Электронный каталог: Драгалин Альберт Григорьевич - Математический интуиционизм: Введение в теорию доказательств