Вернуться к Подробностям о статье Between $Int_{\omega , \omega}$ and intuitionistic propositional logic Скачать Скачать PDF