Journal: | Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales |
Database: | PERIÓDICA |
System number: | 000016371 |
ISSN: | 0370-3908 |
Authors: | Caicedo, X1 |
Institutions: | 1Universidad Nacional de Colombia, Fac Ciencias; Dep Matematicas Estadistica, Bogotá. Colombia |
Year: | 1995 |
Season: | Nov |
Volumen: | 19 |
Number: | 75 |
Pages: | 703-716 |
Country: | Colombia |
Language: | Español |
Document type: | Artículo |
Approach: | Analítico |
Disciplines: | Filosofía, Matemáticas |
Keyword: | Lógica, Matemáticas puras, Semántica, Intuicionismo, Kripke-modelos, Lógica matemática, Conectivos proposicionales |
Keyword: | Philosophy, Mathematics, Logic, Pure mathematics, Semantics, Intuitionism, Kripke models, Mathematical logic, Sentential connectives |
Document request | |