A failure of quantifier elimination

• Autores: Angus Macintyre
• Localización: Revista matemática de la Universidad Complutense de Madrid, ISSN 0214-3577, Vol. 10, Nº Extra 2, 1997 (Ejemplar dedicado a: Real Algebraic and analytic geometry : proceedings, Segovia 1995), págs. 209-216
• Idioma: inglés
• Enlaces
  • Texto completo