Translating I▵~0 + exp Proofs into Weaker Systems

• Autores: C. Pollett
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 46, Nº 2, 2000, págs. 249-256
• Idioma: inglés
• Texto completo no disponible (Saber más ...)