Borges Ana de Almeida Gabriel Vieira

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

1. A calculus for worms
   A. Borges
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   19 октября 2017 г. 14:25