The Provably Total Search Problems of Bounded Arithmetic

• Autores: Alan Skelley, Neil Thapen
• Localización: Proceedings of the London Mathematical Society, ISSN 0024-6115, Vol. 103, Nº 1, 2011, págs. 106-138
• Idioma: inglés
• DOI: 10.1112/plms/pdq044
• Texto completo no disponible (Saber más ...)