Лаврентьев Борис Фёдорович, каталог книг