Theorems of the 21st Century - Bogdan Grechuk (Springer, 2019)