Remark on the superintuitionistic predicate logic of Kripke frames of finite height with constant domains: A simpler Kripke complete logic that is not strongly completeстатья

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