General topology an introduction - Richmond, Tom (De Gruyter graduate, 2020)