"Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)" - читать интересную книгу автора (Francesca Poggiolesi)