Completeness via Correspondence for Extensions of First Degree Entailment Supplied with Classical Negationтезисы доклада

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