root.skip-to-content
English
Español
Français
Português
Iniciar sesión
Usuario institucional
Contraseña
Iniciar sesión
¿Has olvidado tu contraseña?
Comunidades
Listar por
Estadísticas
English
Español
Français
Português
Iniciar sesión
Usuario institucional
Contraseña
Iniciar sesión
¿Has olvidado tu contraseña?
Inicio
Investigación
Escuela de Ciencias Aplicadas e Ingeniería
GICOMP: Grupo de investigación en computación
Documentos de trabajo (working papers)
A Set Theory Formalization
Publicación:
A Set Theory Formalization
Archivos
Alejandro_CalleSaldiarriaga_2017.pdf
(147.47 KB)
Fecha
2017
Autores
Calle-Saldarriaga, Alejandro
Título de la revista
ISSN de la revista
Título del volumen
Editor
Proyectos de investigación
Unidades organizativas
Número de la revista
Resumen
Descripción
Palabras clave
Citación
URI
https://hdl.handle.net/10784/11464
Colecciones
Documentos de trabajo (working papers)
Página completa del ítem