Revue: | 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 |
Autores: | Caicedo, X1 |
Instituciones: | 1Universidad Nacional de Colombia, Fac Ciencias; Dep Matematicas Estadistica, Bogotá. Colombia |
Año: | 1995 |
Periodo: | Nov |
Volumen: | 19 |
Número: | 75 |
Paginación: | 703-716 |
País: | Colombia |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Filosofía, Matemáticas |
Palabras clave: | 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 | |