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

Publicaciones en la fuente ARCHIVE FOR MATHEMATICAL LOGIC

Tipo Año Título Fuente
Artículo2024Semi-honest subrecursive degrees and the collection rule in arithmeticARCHIVE FOR MATHEMATICAL LOGIC
Artículo2023Second order arithmetic as the model companion of set theoryARCHIVE FOR MATHEMATICAL LOGIC
Artículo2014On axiom schemes for T-provably formulasARCHIVE FOR MATHEMATICAL LOGIC
Artículo2004Induction, minimization and collection for Delta(n)+(1)(T)-formulasARCHIVE FOR MATHEMATICAL LOGIC
Artículo2004On the quantifier complexity of Delta(n+1)(T)-inductionARCHIVE FOR MATHEMATICAL LOGIC