Estudio del lema de interpolacion en el contexto de diversos lenguajes formales.
Tesis doctoral de Cristina Corredor Lanas La tesis consiste en una presentacion sistematizada del lema de interpolacion, analizando los rasgos […]
Tesis doctoral de Humberto Marraud Gonzalez
Información academica Humberto Marraud Gonzalez. Tesis donde Humberto Marraud Gonzalez ha sido autor, director o parte del tribunal.
Logica de segundo orden: problemas metateoreticos.
Tesis doctoral de Angel Nepomuceno Fernandez Datos académicos de la tesis doctoral «Logica de segundo orden: problemas metateoreticos.« Título
Generalizacion modelista de las teorias infinitarias de ordenes: ordenes parciales
Tesis doctoral de Begoña Carrascal Platas En este trabajo se caracterizan diferentes subclases de ordenes parciales mediante enunciados de lenguajes