Cálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicional
53 Páginas
- Autores:
-
Fuentes Guzmán, Daniel Camilo
- Tipo de recurso:
- Fecha de publicación:
- 2014
- Institución:
- Universidad del Tolima
- Repositorio:
- RIUT: Repositorio U. Tolima
- Idioma:
- spa
- OAI Identifier:
- oai:repository.ut.edu.co:001/1172
- Acceso en línea:
- https://repository.ut.edu.co/handle/001/1172
- Palabra clave:
- Secuentes
Gráficos existenciales Alfa
Lógica proposicional
- Rights
- License
- Atribución-NoComercial-CompartirIgual 2.5 Colombia (CC BY-NC-SA 2-5 CO)
| Summary: | 53 Páginas |
|---|