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