Matematičeskij intuicionizm : VVEDENIE V TEORIJU DOKAZATEL'STV - Dragalin, Al'bert Grigor'evič (Nauka - Moskva, 1979)