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

Publicaciones en la fuente MATHEMATICAL LOGIC QUARTERLY

Tipo Año Título Fuente
Artículo2017A direct proof of the five element basis theoremMATHEMATICAL LOGIC QUARTERLY
Artículo2011A note on parameter free Pi(1)-induction and restricted exponentiationMATHEMATICAL LOGIC QUARTERLY
Artículo2006Envelopes, indicators and conservativenessMATHEMATICAL LOGIC QUARTERLY
Artículo2005Fragments of Arithmetic and true sentencesMATHEMATICAL LOGIC QUARTERLY
Artículo2001Some results on LΔ-n+1MATHEMATICAL LOGIC QUARTERLY
Artículo1996On overspill principles and axiom schemes for bounded formulasMATHEMATICAL LOGIC QUARTERLY
Artículo1994MAXIMUM SCHEMES IN ARITHMETICMATHEMATICAL LOGIC QUARTERLY