Revista: | Notas de lógica matemática |
Base de datos: | PERIÓDICA |
Número de sistema: | 000009068 |
ISSN: | 0078-2017 |
Autores: | Sette, A.M1 Caicedo, X2 |
Instituciones: | 1Universidade Estadual de Campinas, Inst Matematicas, Campinas, Sao Paulo. Brasil 2Universidad Nacional de Colombia, Dep Matematicas, Bogotá. Colombia |
Año: | 1993 |
Número: | 38 |
Paginación: | 129-141 |
País: | Argentina |
Idioma: | Portugués |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Filosofía, Matemáticas |
Palabras clave: | Lógica, Matemáticas puras, Haces, Semántica, Estructuras, Kripke-joyal, Espacios topológicos, Conectivas intuicionistas |
Keyword: | Philosophy, Mathematics, Logic, Pure mathematics, Sheaves, Semantics, Structures, Kripke-joyal, Topological spaces, Intuitionistic connectives |
Solicitud del documento | |