Wróć do szczegółów artykułu Admissibility of cut in congruent modal logics Pobierz Pobierz PDF