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