Sato Kentaro

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

1. Negative Church's thesis and Russian constructivism
   K. Sato
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   17 октября 2017 г. 15:35