Problemas de decisión y recursividad en sistemas lógicos formales = decision problems and recursiveness in formal logic systems - Piza Volio, Eduardo 1955-; Martínez, Iveth (2016)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA