Expresión de propiedades en un lenguaje formal - Martín, Gabriela (2001)
Fil: Martín, Gabriela. Universidad Nacional de Córdoba. Facultad de Matemáticas, Astronomía y Física; Argentina.