Вернуться к Подробностям о статье
Classical multiplicative linear logic - intuitionistic mll.
Скачать
Скачать PDF