Beyond the Horizon of Computability - Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly (Springer, 2020)