Gráficos existenciales gama, modelos de Kripke y Haces
111 p. Recurso Electrónico
| Autor: | |
|---|---|
| Formato: | tesis de maestría |
| Estado: | Versión enviada para evaluación y publicación |
| Fecha de publicación: | 2018 |
| País: | Colombia |
| Recursos: | Universidad del Tolima |
| Repositorio: | RIUT: Repositorio U. Tolima |
| Idioma: | español |
| OAI Identifier: | oai:repository.ut.edu.co:001/2749 |
| Acesso em linha: | https://repository.ut.edu.co/handle/001/2749 |
| Access Level: | acceso abierto |
| Palavra-chave: | topología modelo Kripke lógica |
| Resumo: | 111 p. Recurso Electrónico |
|---|