Lógica matemática y computabilidad - Sancho de San Ramón, Juan (Ediciones Díaz de Santos, 1990)
Incluye : Lista de símbolos, índice de nombre