Topological Library, Part 1 by S.P. Novikov