A failure of quantifier elimination

  • David Marker
  • Angus Macintyre

Resumen

Sin resumen

Descargas

Los datos de descargas todavía no están disponibles.

Descarga artículo

Crossmark

Métricas

Publicado
1997-01-01
Cómo citar
Marker D. y Macintyre A. (1997). A failure of quantifier elimination. Revista Matemática Complutense, 10, 209. https://doi.org/10.5209/rev_REMA.1997.v10.17364
Sección
Artículos