Prueba por consistencia de teoremas inductivos: inducción sin inducción

• Autores: Manuel Emilio Gegúndez Arias , José Luis Ruiz Reina
• Localización: Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) / coord. por Carlos Martín Vide , 1994, ISBN 84-477-0396-7, págs. 597-606
• Idioma: español
• Texto completo no disponible (Saber más ...)