Вернуться к Подробностям о статье Общий метод доказательства разрешимости интуиционистских модальных логик Скачать Скачать PDF