TY  - THES 
A3  - Sanz Sánchez, Fernando
AU  - Leonel Laurenti, Caio Henrique
PY  - 2022
UR  - https://uvadoc.uva.es/handle/10324/57866
AB  - Este trabajo es un estudio en detalles de la demostración de Wilkie para la modelo completud de la teoria de los númelos reales (como cuerpo ordenado) con la función exponencial. Una teoría es modelo completa si cada fórmula en el lenguaje de dicha...
LA  - spa
KW  - Lógica
KW  - Geometria
KW  - Exponencial
TI  - El teorema del complementario de Wilkie para la función exponencial
M3  - info:eu-repo/semantics/masterThesis
ER  -