"Cut Elimination in Categories (Trends in Logic, 6)" - читать интересную книгу автора (Kosta Dosen)