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

Статья

A Graphical Deep Inference System for Intuitionistic Logic

Logique et Analyse. 2019. Vol. 245. P. 73-114.
Ma M., Pietarinen A.