Contact Information
Office: | 365 |
Phone: | ++54 351 5353701 (ext. 41365) |
Email: | sterraf at famaf dot unc dot edu dot ar |
C. Vitæ: | [Web Version] [PDF] |
Office: | 365 |
Phone: | ++54 351 5353701 (ext. 41365) |
Email: | sterraf at famaf dot unc dot edu dot ar |
C. Vitæ: | [Web Version] [PDF] |
Set Theory [Formal verification of forcing]. Applications of Descriptive Set Theory to Computer Science [Dependable Systems Group].
Universal Algebra, Varieties,
Definability.
[Universal
Algebra and Logic Research Group]
Search for me in the arXiv [zbMATH] [MathSciNet] [Scopus] [Scholar] [ORCID] [dblp] [ACM Digital Library]
Some slides.
Published reviews.
Check here.