• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Beta Assertive Graphs: Proofs of Assertions with Quantification

IfCoLoG Journal of Logics and their Applications. 2021. Vol. 8. No. 2. P. 353-376.
Pietarinen A., Bellucci F., Chiffi D.