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

Publicaciones en la fuente ANNALS OF PURE AND APPLIED LOGIC

Tipo Año Título Fuente
Artículo2023Lipschitz and Wadge binary games in second order arithmeticANNALS OF PURE AND APPLIED LOGIC
Artículo2021Algebraic combinatorics in bounded inductionANNALS OF PURE AND APPLIED LOGIC
Artículo2014Local induction and provably total computable functionsANNALS OF PURE AND APPLIED LOGIC