Un metodo de aproximaciones finitas en la logica de primer orden.
Tesis doctoral de Mario Rodríguez Artalejo Se parte de trabajos de j. Hintikka wischonfeld y t. wolf sobre la forma […]
Tesis doctoral de Sixto Rios
Información academica Sixto Rios. Tesis donde Sixto Rios ha sido autor, director o parte del tribunal.
Definibilidad mediante r-tipos de n-isomorfia.
Tesis doctoral de Javier Leach Aldert Simplificacion y unificacion de la demostracion de los teoremas de definibilidad de beth suenonius
Una tecnica para el estudio de relaciones entre estructuras para lenguajes con varias clases de variables.
Tesis doctoral de Hortala Gonzalez M. Teresa Obtenemos un teorema de preservacion general para las relaciones definibles en primer orden