"Драгалин;_Мат.интуиционизм.Введение_в_теорию_доказательств,1979.pdf" - читать интересную книгу автора