"Proof Theory and Intuitionistic Systems" - читать интересную книгу автора (Bruno Scarpellini)