Mk es completa pero no definible en primer-orden

• Autores: Huberto Marraud
• 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ágs. 97-112
• Idioma: español
• Texto completo no disponible (Saber más ...)