Kolmakov Evgeny Aleksandrovich

Presentations in Math-Net.Ru

1. Axiomatizing provable 1-provability
   E. Kolmakov
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 19, 2017 14:50