Očerki po konstruktivnoj matematike - Martin-Löf, Per, 1942- (Mir, 1975)