A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of framesстатья

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