PhDs in Logic IX. Program and Abstractsсборник

Статьи, опубликованные в сборнике

---

• • 2017 Completeness via Correspondence for Extensions of First Degree Entailment Supplied with Classical Negation
  • Petrukhin Yaroslav
  • в сборнике PhDs in Logic IX. Program and Abstracts, тезисы, с. 55-56