Matematičeskij intuicionizm - Dragalin, A.G (Nauka, 1979)