"Constructive Mathematics. Proc. conf. New Mexico, 1980" - читать интересную книгу автора (F. Richman)