Métodos de análisis no-standar en la teoría de modelos finitos
Document title: Métodos de análisis no-standar en la teoría de modelos finitos
Journal: Acta científica venezolana
Database: PERIÓDICA
System number: 000190325
ISSN: 0001-5504
Authors: 1
2
Institutions: 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
Year:
Volumen: 52
Pages: 2-4
Country: Venezuela
Language: Español
Document type: Artículo
Approach: Analítico
Disciplines: Matemáticas,
Ciencias de la computación
Keyword: 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
Document request
Note: The document is shipping cost.









Original documents can be consulted at the Departamento de Información y Servicios Documentales, located in the Annex to the General Directorate of Libraries (DGB), circuito de la Investigación Científica across from the Auditorium Nabor Carrillo, located between the Institutes of Physics and Astronomy. Ciudad Universitaria UNAM. Show map
For more information: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964. E-mail: sinfo@dgb.unam.mx . Monday to Friday from (8 to 16 hrs).