Diagonalization in Formal Mathematics - Paulo Guilherme Santos (Springer, 2020)