[ES] Se establecen como objetivos:
-Traducir EHPTT hacia MSL buscando definir una función de traducción con dominio en el conjunto de expresiones de EHPTT y rango en el de expresiones de MSL bajo una determinada signatura.
-Conseguir analizar la metalógica de EHPTT a través de la traducción de sus sentencias en los tres niveles de traducción que se plantean en Manzano (1996, pp.263-276) y Manzano and Aranda (2022).
El texto se estructura en seis capítulos, en donde el primero es de introducción y el último es el de conclusiones. Para los capítulos centrales, 2, 3, 4 y 5 se ofrecen cuatro apéndices, uno por cada uno de estos
capítulos, en los que se han colocado las demostraciones de resultados, o esquemas
de las demostraciones, más largas, menos importantes, más repetitivas o aquellas
que simplemente se consideran que pueden interrumpir una lectura adecuada de este trabajo.
