Teoría intuicionista de modelos sobre órdenes parciales

Magíster en Matemáticas

• Autores: Forero Cuervo, Andrés
• Fecha de publicación: 2007
• Institución: Universidad de los Andes
• Repositorio: Séneca: repositorio Uniandes
• Idioma: spa
• OAI Identifier: oai:repositorio.uniandes.edu.co:1992/9450
• Acceso en línea: http://hdl.handle.net/1992/9450
• Palabra clave: Lógica simbólica y matemática; Teoría de modelos; Matemáticas
• Rights: openAccess
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/