Journal: | Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales |
Database: | PERIÓDICA |
System number: | 000132123 |
ISSN: | 0370-3908 |
Authors: | Caicedo, Xavier1 |
Institutions: | 1Universidad Nacional de Colombia, Fac. Ciencias, Dep. Matemáticas Estadística, Bogotá. Colombia |
Year: | 1997 |
Season: | Nov |
Volumen: | 21 |
Number: | 81 |
Pages: | 521-534 |
Country: | Colombia |
Language: | Español |
Document type: | Artículo |
Approach: | Analítico |
Disciplines: | Matemáticas |
Keyword: | Matemáticas puras, Lógica intuicionista, Espacios topológicos, Conectivos, Topos |
Keyword: | Mathematics, Pure mathematics, Intuitionistic logic, Topological spaces, Connectives, Topos |
Document request | |