Московский государственный педагогический университет, математический факультет, библиотека