Japaridze George

Presentations in Math-Net.Ru

1. Strong alternatives to weak arithmetics
   G. Japaridze
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 17, 2017 10:00