Revista: | Acta científica venezolana |
Base de datos: | PERIÓDICA |
Número de sistema: | 000190325 |
ISSN: | 0001-5504 |
Autores: | Arratia, Argimiro1 Ortiz, Carlos E2 |
Instituciones: | 1Universidad Simón Bolívar, Departamento de Matemáticas, Caracas, Distrito Federal. Venezuela 2Beaver College, Department of Mathematics and Computer Science, Glenside, Pensilvania. Estados Unidos de América |
Año: | 2001 |
Volumen: | 52 |
Paginación: | 2-4 |
País: | Venezuela |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Matemáticas, Ciencias de la computación |
Palabras clave: | Matemáticas aplicadas, Teoría de modelos, Análisis no estándar, Modelos finitos, Definibilidad, Lógica de primer orden |
Keyword: | Mathematics, Computer science, Applied mathematics, Model theory, Non standard analysis, Finite models, Definiability, First order logic |
Solicitud del documento | |