Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente Studia Logica

Tipo Año Título Fuente
Artículo2022ZF Between Classicality and Non-classicalityStudia Logica
Artículo2021Non-classical Models of ZFStudia Logica
Artículo2020Infinite Forcing and the Generic MultiverseStudia Logica
Artículo2017A proof-theoretic bound extraction theorem for CAT(k)-spacesStudia Logica