Sato Kentaro

Presentations in Math-Net.Ru

1. Negative Church's thesis and Russian constructivism
   K. Sato
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 17, 2017 15:35