Joosten Joost J

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

1. Turing jumps again
   J. Joosten
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   17 октября 2017 г. 10:35