Browsing Facultad de Matemáticas by Author "Ruiz Cardoso, Antonio Miguel"
Now showing items 1-1 of 1
-
Final Degree Project
Eliminación de cuantificadores para cuerpos algebraicamente cerrados y cuerpos reales cerrados
Ruiz Cardoso, Antonio Miguel (2022-06-22)El proyecto tiene como objetivo estudiar la Teor´ıa de Modelos de los cuerpos algebraicamente cerrados y los cuerpos reales ...