Recursive models of weak fragments of arithmetic

• Autores: Margarita Otero Domínguez
• Localización: The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995 / coord. por Joaquín Borrego Díaz, Francisco José Salguero Lamillar, 1997, ISBN 84-88620-08-X, pág. 113
• Idioma: inglés
• Texto completo no disponible (Saber más ...)