"Essays in Constructive Mathematics" - читать интересную книгу автора (Harold M. Edwards)