Gráficos existenciales gama, modelos de Kripke y Haces

111 p. Recurso Electrónico

Detalles Bibliográficos
Autor: Prada, Juan Ricardo
Tipo de recurso: tesis de maestría
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:2018
País:Colombia
Institución:Universidad del Tolima
Repositorio:RIUT: Repositorio U. Tolima
Idioma:español
OAI Identifier:oai:repository.ut.edu.co:001/2749
Acceso en línea:https://repository.ut.edu.co/handle/001/2749
Access Level:acceso abierto
Palabra clave:topología
modelo Kripke
lógica
Descripción
Sumario:111 p. Recurso Electrónico