Revista: | Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales |
Base de datos: | PERIÓDICA |
Número de sistema: | 000016371 |
ISSN: | 0370-3908 |
Autors: | Caicedo, X1 |
Institucions: | 1Universidad Nacional de Colombia, Fac Ciencias; Dep Matematicas Estadistica, Bogotá. Colombia |
Any: | 1995 |
Període: | Nov |
Volum: | 19 |
Número: | 75 |
Paginació: | 703-716 |
País: | Colombia |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplines | Filosofía, Matemáticas |
Paraules clau: | 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 |
Solicitud del documento | |