Browsing by Author "Sobrido Codesido, Rosana"
Now showing items 1-1 of 1
-
El método de decisión de Tarski para el Álgebra y la Geometría elementales
Sobrido Codesido, Rosana (2020-07)[ES] El trabajo se enmarca en el campo de la Teoría de Modelos dentro de la lógica matemática. Con este contexto se estudiarán las propiedades de las teorías del álgebra y la geometría elementales. Particularmente se ...