Joosten Joost J

Presentations in Math-Net.Ru

1. Turing jumps again
   J. Joosten
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 17, 2017 10:35