Información de Contacto
Oficina: | 365 |
Teléfono: | ++54 351 5353701 (int. 41365) |
Email: | sterraf arroba famaf punto unc punto edu punto ar |
C. Vitæ: | [Versión Web] [PDF] |
Oficina: | 365 |
Teléfono: | ++54 351 5353701 (int. 41365) |
Email: | sterraf arroba famaf punto unc punto edu punto ar |
C. Vitæ: | [Versión Web] [PDF] |
Teoría de Conjuntos [Verificación formal de forcing]. Aplicaciones de Teoría de Conjuntos Descriptiva a Ciencias de la Computación [Dependable Systems Group].
Álgebra Universal, Variedades,
Definibilidad.
[Grupo de
Álgebra Universal y Lógica]
Buscáme en arXiv [zbMATH] [MathSciNet] [Scopus] [Scholar] [ORCID] [dblp] [ACM Digital Library]
Ver todas [Mi número de Erdős]
Algunas presentaciones.
Reseñas publicadas.
Ver aquí.
¡Nuevo! descriptive-set-theory