Modern Quantification Theory - Shizuhiko Nishisato, Eric J. Beh, Rosaria Lombardo, Jose G. Clavel (Springer, 2021)