Драгалин, Альберт Математический интуиционизм : Введ. в теорию доказательств / Альберт Драгалин. - Москва : Наука, 1979. - 256 с. 21см. - Матем. логика и основания математики . Subjects--Index Terms: მათემატიკური ლოგიკა მათემატიკური ინტუიცია Universal Decimal Class. No.: 51