Kolmogorov complexity and characteristic constants of formal theories of arithmetic

• Autores: Shingo Ibuka, Masato Kikuchi, Hirotaka Kikyo
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 57, Nº. 5, 2011, págs. 470-473
• Idioma: inglés
• DOI: 10.1002/malq.201010017
• Texto completo no disponible (Saber más ...)