A note on the E1 collection scheme and fragments of bounded arithmetic

• Autores: Zofia Adamowicz, Leszek Aleksander Kolodziejczyk
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 56, Nº. 2, 2010, págs. 126-130
• Idioma: inglés
• DOI: 10.1002/malq.200810043
• Texto completo no disponible (Saber más ...)