El teorema de Goedel - Díaz Estévez, Emilio (Ed. Universidad de Navarra, 1975)