Вернуться к Подробностям о статье Between Int<ω,ω> and intuitionistic propositional logic Скачать Скачать PDF