Lógica matemática y computabilidad - Sancho San Román, Juan (Díaz de Santos, 1990)