The long rule in the Lambek calculus with iteration: undecidability without meets and joinsстатья

Дата последнего поиска статьи во внешних источниках: 20 января 2021 г.