A failure of quantifier elimination

  • David Marker
  • Angus Macintyre
DOI: https://doi.org/10.5209/rev_REMA.1997.v10.17364

Resumo

Sin resumen

Downloads

Não há dados estatísticos.

##submission.format##

##submission.crossmark##

##submission.metrics##

Publicado
1997-01-01
Como 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
Edição
Vol. 10 (1997): Extra
Secção
Artículos

Licença

LICENCIA DE USO: Los artículos a texto completo incluidos en el Portal de Revistas Científicas Complutenses son de acceso libre y propiedad de sus autores y/o editores. Por tanto, cualquier acto de reproducción, distribución, comunicación pública y/o transformación total o parcial requiere el consentimiento expreso y escrito de aquéllos. Cualquier enlace al texto completo de los artículos del Portal de Revistas Científicas Complutenses debe efectuarse a la URL oficial de la Universidad Complutense de Madrid