Japaridze George

Доклады и лекции в базе данных Math-Net.Ru

1. Strong alternatives to weak arithmetics
   G. Japaridze
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   17 октября 2017 г. 10:00