Una solución moderna para el "entscheidungsproblem" - Piza Volio, Eduardo (2016)
Keywords: LÓGICA; VARIABLES; MATEMÁTICAS