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