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