Borges Ana de Almeida Gabriel Vieira

Presentations in Math-Net.Ru

1. A calculus for worms
   A. Borges
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 19, 2017 14:25