A failure of quantifier elimination

  • David Marker
  • Angus Macintyre

Resumen

Sin resumen

Descargas

La información sobre descargas todavía no está disponible.
Publicado
1997-01-01
Cómo citar
Marker, D., & 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