Ara mostrant els elements 1-1 de 1
Hermo Reyes, Eduardo (Data de defensa: 2019-11-04)
This dissertation is devoted to developing modal logical tools that can be used in the field of proof theory and ordinal analysis. More precisely, we focus on the relation between strictly positive modal ...