Análisis de la definibilidad de relaciones en estructuras de primer orden

Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.

Guardado en:

Detalles Bibliográficos
Autor principal:	Incatasciato, Guillermo Luis
Otros Autores:	Vaggione, Diego José
Formato:	bachelorThesis
Lenguaje:	Español
Publicado:	2022
Materias:	Teoría de la computación Lógica Teoría de modelos Definibilidad Relaciones Morfismos Theory of computation Logic Model theory Definability Relations Morphisms
Acceso en línea:	http://hdl.handle.net/11086/28609
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.

Ejemplares similares