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