An Independence Result on Weak Second Order Bounded Arithmetic

• Autores: S. Kuroda
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 47, Nº 2, 2001, págs. 183-186
• Idioma: inglés
• Texto completo no disponible (Saber más ...)