Truth-preserving operations on sums of Kripke framesстатья

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