Más tarde, desaparecido dicho Instituto, la biblioteca fue cedida por el CSIC en 1987 a la Residencia de Estudiantes.