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