Matematičeskij intuicionizmus : vvedenije v teoriju dokazateľstv. - Dragalin, Albert Grigorjevič (rz1, 1979)