Драгалин, Альберт

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

მათემატიკური ლოგიკა მათემატიკური ინტუიცია

51