Problemas de decisión y recursividad en sistemas lógicos formales = decision problems and recursiveness in formal logic systems - Piza Volio, Eduardo 1955-